Browsing Theoretische Informatik/Formale Methoden by Subject "Automata Theory"
Now showing items 1-2 of 2
-
DissertationBuffered Simulation for Büchi Automata (2019)
-
DissertationExtremal Fixpoints for Higher-Order Modal Logic (2018-10)
Now showing items 1-2 of 2