On Transfinite Knuth-Bendix Orders.

Laura Kovács Georg Moser Andrei Voronkov

Published in: CADE (2011)

Keyphrases

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