Improved Ramsey-Based Büchi Complementation

DOI10.1007/978-3-642-28729-9_10zbMath1352.68126OpenAlexW104223015MaRDI QIDQ2892768

J. Olschewski, Stefan Breuers, Christof Löding

Publication date: 22 June 2012

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_10

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Ramsey-Based Inclusion Checking for Visibly Pushdown Automata, Automata Theory and Model Checking, Multi-Valued Reasoning about Reactive Systems, Towards a grand unification of Büchi complementation constructions, \( \omega \)-automata