Login / Signup

Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties.

Kumar Neeraj Verma
Published in: RTA (2003)
Keyphrases
  • tree automata
  • closure properties
  • regular expressions
  • finite automata
  • finite state
  • tree languages
  • context free grammars
  • query answering
  • context free