-
LOGIC-IN
-
Research
-
LogiDAC
Publikationen
International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France . 2010, 1–6. URL , DOI Jean-Yves Marion and Thomas Schwentick. Table of Contents - 27th International [...] March 4-6, 2010, Nancy, France . 2010, 7–10. URL , DOI Jean-Yves Marion and Thomas Schwentick (eds.). 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010 [...] Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II 9135. 2015, 159–170. URL arXiv , DOI Martin Schuster and Thomas Schwentick …