Incremental Construction of Unification Algorithms in Equational Theories.

Jean-Pierre Jouannaud Claude Kirchner Hélène Kirchner

Published in: ICALP (1983)

Keyphrases

equational theories
learning algorithm
theoretical analysis
data structure
computational complexity
incremental version
significant improvement
optimization problems
computationally efficient
database
data integration
orders of magnitude
single pass