On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems.

Bernhard Gramlich

Published in: Theor. Comput. Sci. (1996)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem prover
theorem proving
relational databases
data management
operational semantics