BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
1 × United Kingdom
Collaborated with:
P.E.Schupp A.Saoudi
Talks about:
automata (3) altern (2) logic (2) weak (2) exponenti (1) reachabl (1) pushdown (1) problem (1) complex (1) theori (1)

Person: David E. Muller

DBLP DBLP: Muller:David_E=

Contributed to:

LICS 19881988
ICALP 19861986
STOC 19811981

Wrote 3 papers:

LICS-1988-MullerSS #automaton #decidability #exponential #logic #why
Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time (DEM, AS, PES), pp. 422–427.
ICALP-1986-MullerSS #automaton #complexity #monad
Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity (DEM, AS, PES), pp. 275–283.
STOC-1981-MullerS #automaton #graph #higher-order #logic #problem #reachability
Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems (DEM, PES), pp. 46–54.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.