On the Computability of Region-Based Euclidean Logics Yavor Nenov and Ian Pratt-Hartmann School of Computer Science, University of Manchester, UK {nenovy,ipratt - Hartmann - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Computability of Region-Based Euclidean Logics Yavor Nenov and Ian Pratt-Hartmann School of Computer Science, University of Manchester, UK {nenovy,ipratt}@cs.man.ac.uk Add to Reading List Document Date: 2010-09-01 07:06:02 Open Document File Size: 225,63 KB Share Result on Facebook

On the Computability of Region-Based Euclidean Logics Yavor Nenov and Ian Pratt-Hartmann School of Computer Science, University of Manchester, UK {nenovy,ipratt}@cs.man.ac.ukAdd to Reading List