Invariants and Closures in the Theory of Rewrite Systems.

Published in: Formal Aspects Comput. (1996)

Keyphrases

rewrite systems
quantifier free
knuth bendix
term rewriting
databases
expert systems
query language
data warehouse
active rules