-
LOGIC-IN
-
Research
-
LogiDAC
Publikationen
tion and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 . 2012. URL Ahmet Kara, Thomas Schwentick and Tony Tan. Feasible Automata for Two-Variable [...] and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings . 2012, 351–362. URL , DOI 2011 Nicole Schweikardt and Thomas Schwentick. A note [...] Syst. 53(2):123–125, 2013. URL , DOI 2012 Thomas Schwentick and Thomas Zeume. Two-Variable Logic with Two Order Relations . Logical Methods in Computer Science 8(1), 2012. URL , DOI Jean-Yves Marion and Thomas …