Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev. Topological Logics with Connectedness over Euclidean Spaces. ACM Trans. Comput. Log., 14(2):13, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.