Generalizing Newman's Lemma for Left-Linear Rewrite Systems.

Bernhard Gramlich Salvador Lucas

Published in: RTA (2006)

Keyphrases

rewrite systems
term rewriting
knuth bendix
quantifier free
active rules
databases
database
complex networks
theorem proving