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

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

46th International Colloquium on Automata, Languages and Programming Patras 2019-07-08 - 2019-07-12

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Löding, Christof
Pirogov, Anton

Identifikationsnummern