Mini-Workshop TCS at TuDo and RUB
2011, Chair 1 Speaker Subject Thomas Zeume, LS 1 Temporal Logics on Words with Multiple Data Values abstract Henrik Björklund Recognizing Shuffled Languages abstract Peter Padawitz, LS 1 How to benefit [...] Marquardt, LS 1 Dynamische Komplexität formaler Sprachen. MW 10, May 7th, 2008, Chair 1: Speaker Subject Felix Klaedtke, ETH Zürich On the automata size for linear arithmetics abstract (ca. 1 hour talk) R [...] at most k and small maximum vertex degree. Previous sessions MW 37, July 1, 2024 Jedrzej Kolodziejski (Lehrstuhl Informatik 1, TU Dortmund) : Countdown logic, games and automata: bisimulation-invariant …
