Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp

Wadern / Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Wadern/Saarbruecken, Germany (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.)
Seite(n): 120, 1-13

Autorinnen und Autoren

Autorinnen und Autoren

Löding, Christof
Pirogov, Anton

Identifikationsnummern

Downloads