Semantics of Non-terminating Rewrite Systems Using Minimal Coverings.

José Barros Joseph A. Goguen

Published in: CSL (1995)

Keyphrases

rewrite systems
term rewriting
active rules
quantifier free
knuth bendix
theorem proving
operational semantics
integrity constraints
deductive databases
theorem prover