Unifying Büchi Complementation Constructions.

DOI10.4230/LIPIcs.CSL.2011.248zbMath1247.68136arXiv1302.2675OpenAlexW2085653536MaRDI QIDQ2915686

Orna Kupferman, Seth Fogarty, Thomas Wilke, Moshe Y. Vardi

Publication date: 18 September 2012

Full work available at URL: https://arxiv.org/abs/1302.2675

zbMATH Keywords

rankscomplementationBüchi automatadeterminism in the limit

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Automata Theory and Model Checking ⋮ Multi-Valued Reasoning about Reactive Systems

This page was built for publication: Unifying Büchi Complementation Constructions.