Login / Signup

Symbolic Constraints and Tree Automata.

Max Dauchet
Published in: CCL (1994)
Keyphrases
  • tree automata
  • regular expressions
  • finite automata
  • finite state
  • context free grammars
  • syntactic pattern recognition
  • tree languages
  • database
  • search space
  • model checking
  • finite automaton