Dmitry Sustretov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Balder ten Cate, David Gabelaia, Dmitry Sustretov: Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Logic 159(1-2): 146-170 (2009)

1 Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn: Experiments in Theorem Proving for Topological Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 309-321 (2009)

	2009
2		Balder ten Cate, David Gabelaia, Dmitry Sustretov: Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Logic 159(1-2): 146-170 (2009)
1		Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn: Experiments in Theorem Proving for Topological Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 309-321 (2009)

Coauthor Index