Using groups for investigating rewrite systems

Patrick Dehornoy

Published in: CoRR (2006)

Keyphrases

rewrite systems
term rewriting
quantifier free
theorem proving
knuth bendix
databases
constraint propagation
active rules