Computability of Euclidean spatial logics (2011)

First Author: Nenov Yavor Neychev
Attributed to:  Computational Logic of Euclidean Spaces funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.cs.man.ac.uk/~ipratt/theses/nenov.pdf

Type: Thesis