Login / Signup
The Complexity of Tree Automata and Logics of Programs (Extended Abstract)
E. Allen Emerson
Charanjit S. Jutla
Published in:
FOCS (1988)
Keyphrases
</>
extended abstract
tree automata
pspace complete
regular expressions
finite automata
learning algorithm
finite state
databases
modal logic
tree languages
hidden markov models
finite automaton