Determinization and Limit-determinization of Emerson-Lei Automata - Supplementary material (ATVA'21)
Forschungsdaten: Datensatz › Messreihen
Personen und Einrichtungen
- Tobias John - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Simon Jantsch - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
Schlagworte
Schlagwörter
- determinization, automata theory, Theoretical Computer Science