Login / Signup

The Complexity of Tree Automata and Logics of Programs.

E. Allen EmersonCharanjit S. Jutla
Published in: SIAM J. Comput. (1999)
Keyphrases
  • tree automata
  • pspace complete
  • regular expressions
  • finite automata
  • finite state
  • finite automaton
  • modal logic
  • syntactic pattern recognition
  • sufficient conditions
  • expressive power
  • tree languages