Undecidability Results for Multi-Lane Spatial Logic ?,?? Heinrich Ody Department of Computing Science, University of Oldenburg, Germany - Lane University - Document - PDFSEARCH.IO

First Page	Meta Content
	Undecidability Results for Multi-Lane Spatial Logic ?,?? Heinrich Ody Department of Computing Science, University of Oldenburg, Germany Add to Reading List Document Date: 2016-02-23 05:22:56 Open Document File Size: 434,32 KB Share Result on Facebook

Undecidability Results for Multi-Lane Spatial Logic ?,?? Heinrich Ody Department of Computing Science, University of Oldenburg, Germany Add to Reading List