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