Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega.

Franco Barbanera Maribel Fernández

Published in: ICALP (1993)

Keyphrases

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