Topological Logics with Connectedness over Euclidean Spaces

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]

Authors

Roman Kontchakov

This author has not been identified. Look up 'Roman Kontchakov' in Google

Yavor Nenov

This author has not been identified. Look up 'Yavor Nenov' in Google

Ian Pratt-Hartmann

This author has not been identified. Look up 'Ian Pratt-Hartmann' in Google

Michael Zakharyaschev

This author has not been identified. Look up 'Michael Zakharyaschev' in Google