Skip to main content

Topological Logics with Connectedness over Euclidean Spaces

Roman Kontchakov‚ Yavor Nenov‚ Ian Pratt−Hartmann and Michael Zakharyaschev

Journal
ACM Trans. Comput. Log.
Number
2
Pages
13
Volume
14
Year
2013