Schlagwort (GND) : "Automatentheorie"
Anzeige der Dokumente 1-5 von 5
-
Buffered Simulation for Büchi Automata
Dissertation
(2019) -
CD-Systems of Restarting Automata Dissertation
(2008-09-10)
-
Extremal Fixpoints for Higher-Order Modal Logic
Dissertation
(2018-10) -
Ordered Restarting Automata Dissertation
(epubli, 2018-07-10)
-
Relations and Transductions Realized by Restarting Automata Dissertation
(2013-10-09)