Computability of Euclidean spatial logics

Yavor Nenov. Computability of Euclidean spatial logics. PhD thesis, University of Manchester, UK, 2011. [doi]

Abstract

Abstract is missing.