Confluence of Indirection Reductions in Graph Rewrite Systems.

P. M. van den Broek

Published in: Inf. Process. Lett. (1988)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
database
theorem proving
theorem prover
data structure
data management