Knuth-Bendix completion of theories of commuting group endomorphisms.

Aaron Stump Bernd Löchner

Published in: Inf. Process. Lett. (2006)

Keyphrases

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