BÜCHI COMPLEMENTATION MADE TIGHTER
From MaRDI portal
Publication:5484906
DOI10.1142/S0129054106004145zbMath1096.68081MaRDI QIDQ5484906
Moshe Y. Vardi, Orna Kupferman, Ehud Friedgut
Publication date: 21 August 2006
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
68Q45: Formal languages and automata