Almost Deterministic ω-Automata with Existential Output Condition

• 1 December 1975
• journal article
• Published by JSTOR in Proceedings of the American Mathematical Society
• Vol. 53  (2) , 449
• https://doi.org/10.2307/2040034

Abstract