Solving a Unification Problem under Constrained Substitutions Using Tree Automata.

Yuichi Kaji Toru Fujiwara Tadao Kasami

Published in: J. Symb. Comput. (1997)

Keyphrases

tree automata
regular expressions
finite automata
finite state
constrained problems
syntactic pattern recognition
tree languages
pattern matching
finite automaton
knowledge base
high level
context free