On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

Bibliographic Details
Main Authors: Kontchakov, R, Nenov, Y, Pratt−Hartmann, I, Zakharyaschev, M
Format: Conference item
Published: 2011