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

First Page		Document Content
Date: 2016-02-23 05:22:56		Undecidability Results for Multi-Lane Spatial Logic ?,?? Heinrich Ody Department of Computing Science, University of Oldenburg, Germany Add to Reading List Source URL: theoretica.informatik.uni-oldenburg.de Download Document from Source Website File Size: 434,32 KB Share Document on Facebook