Completion for Unification.

Narjes Doggaz Claude Kirchner

Published in: Theor. Comput. Sci. (1991)

Keyphrases

knuth bendix
higher order
term rewriting
function symbols
theorem prover
theorem proving
equational theories
database
machine learning
user interface
evolutionary algorithm
first order logic
rewrite systems