Rewrite Orderings and Termination of Rewrite Systems.

Pierre Lescanne

Published in: MFCS (1991)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem proving
rewrite rules
theorem prover
databases
knowledge base
business process