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

David E. Muller, Ahmed Saoudi, Paul E. Schupp. Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity. In Laurent Kott, editor, Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings. Volume 226 of Lecture Notes in Computer Science, pages 275-283, Springer, 1986.

Abstract

Abstract is missing.