Proving Termination of Associative Commutative Rewriting Systems by Rewriting.

Isabelle Gnaedig Pierre Lescanne

Published in: CADE (1986)

Keyphrases

rewriting systems
term rewrite systems
rewriting rules
rewrite rules
active rules
termination analysis
databases
transformation rules
query processing
query optimization
structural properties
active databases
consistency constraints