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
Roman Kontchakov‚ Yavor Nenov‚ Ian Pratt−Hartmann and Michael Zakharyaschev