Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion.

Christian Sternagel René Thiemann

Published in: RTA (2013)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
database
artificial intelligence
theorem proving