Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity.

David E. Muller, Ahmed Saoudi, Paul E. Schupp

Browse the full ICALP paper archive.