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