-
LOGIC-IN
-
Research
-
LogiDAC
Publikationen
Two-Variable Logic on 2-Dimensional Structures . In Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy . 2013, 484–499. URL , DOI Christoph Dürr and Thomas Schwentick. Preface [...] Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings . 2013, 171–182. URL PDF , DOI Thomas Zeume and Thomas [...] Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings . 2013, 837–848. URL PDF , DOI Thomas Schwentick. P …