-
LOGIC-IN
-
Research
-
LogiDAC
Publikationen
International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic 107. 2018, 120:1–120:14. DOI Matthias Niewerth and Thomas Schwentick. Reasoning About [...] 7(1):1–29, 2018. DOI Dexter Kozen and Thomas Schwentick. The Ackermann Award 2018 . In Dan R Ghica and Achim Jung (eds.). 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7 [...] Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018 . 2018, 141–146. DOI Thomas Schwentick, Nils Vortmeier and Thomas Zeume. Dynamic Complexity …