On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems.

Bernhard Gramlich

Published in: ALP (1994)

Keyphrases

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