Login / Signup

The Complexity of Tree Automata and Logics of Programs (Extended Abstract)

E. Allen EmersonCharanjit 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