Yavor Nenov
|
Yavor
Nenov
Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces Roman Kontchakov‚ Yavor Nenov‚ Ian Pratt−Hartmann and Michael Zakharyaschev In IJCAI. Pages 957−962. 2011. |
| Computability of Euclidean Spatial Logics Yavor Nenov PhD Thesis School of Computer Science‚ University of Manchester. Manchester‚ UK. 2011. |
| On the Computability of Region−Based Euclidean Logics Yavor Nenov and Ian Pratt−Hartmann In CSL. Pages 439−453. 2010. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
