 | 2011 |
|---|
| 5 |       | Roman Kontchakov,
Yavor Nenov,
Ian Pratt-Hartmann,
Michael Zakharyaschev:
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.
IJCAI 2011: 957-962 |
| 4 | | Roman Kontchakov,
Yavor Nenov,
Ian Pratt-Hartmann,
Michael Zakharyaschev:
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
CoRR abs/1104.0219: (2011) |
| 3 | | Roman Kontchakov,
Yavor Nenov,
Ian Pratt-Hartmann,
Michael Zakharyaschev:
Topological Logics with Connectedness over Euclidean Spaces
CoRR abs/1110.4034: (2011) |
| 2010 |
|---|
| 2 | | Yavor Nenov,
Ian Pratt-Hartmann:
On the Computability of Region-Based Euclidean Logics.
CSL 2010: 439-453 |
| 2008 |
|---|
| 1 | | Yavor Nenov,
Dimiter Vakarelov:
Modal logics for mereotopological relations.
Advances in Modal Logic 2008: 249-272 |
Data released under the ODC-BY 1.0 license — See also our legal information page