Termination of term rewriting using dependency pairs.

Thomas Arts Jürgen Giesl

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

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
operational semantics
knuth bendix
pairwise
dependency relations
machine learning
first order logic
training data
cooperative
relational databases
term rewrite systems