Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems.

Bernhard Gramlich

Published in: Fundam. Informaticae (1995)

Keyphrases

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