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

First Author: Kontchakov R
Attributed to:  Computational Logic of Euclidean Spaces funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.1104.0219

Publication URI: https://arxiv.org/abs/1104.0219

Type: Preprint