Login / Signup

Simulating Alternating Tree Automata by Nondeterministic Automata: New Results and New Proofs of the Theorems of Rabin, McNaughton and Safra.

David E. MullerPaul E. Schupp
Published in: Theor. Comput. Sci. (1995)
Keyphrases