Tree Automata Help One To Solve Equational Formulae In AC-Theories.

Denis Lugiez J. L. Moysset

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

Keyphrases

tree automata
regular expressions
theorem proving
context free grammars
equational theories
finite state
finite automata
machine learning
metadata
search space
query processing
object oriented
positive and negative
tree languages