Termination of Rewrite Systems by Elementary Interpretations.

Pierre Lescanne

Published in: Formal Aspects Comput. (1995)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem prover
operational semantics
information systems
expert systems
theorem proving
database systems
software systems