Solving a Unification Problem under Constrained Substitutions Using Tree Automata.

Yuichi Kaji Toru Fujiwara Tadao Kasami

Published in: FSTTCS (1994)

Keyphrases

tree automata
regular expressions
finite automata
finite state
syntactic pattern recognition
context free grammars
finite automaton
tree languages
databases
database systems