TCS Journal 1995 Journal Article
Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
- David E. Muller
- Paul E. Schupp
Author name cluster
David E. Muller
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
5 papers
2 author rows
Possible papers
5TCS Journal 1992 Journal Article
Alternating automata, the weak monadic theory of trees and its complexity
- David E. Muller
- Ahmed Saoudi
- Paul E. Schupp
TCS Journal 1987 Journal Article
Alternating automata on infinite trees
- David E. Muller
- Paul E. Schupp
TCS Journal 1985 Journal Article
The theory of ends, pushdown automata, and second-order logic
- David E. Muller
- Paul E. Schupp
STOC Conference 1981 Conference Paper
Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems
- David E. Muller
- Paul E. Schupp