Bi-Rewrite Systems.

Jordi Levy Jaume Agustí-Cullell

Published in: J. Symb. Comput. (1996)

Keyphrases

rewrite systems
term rewriting
business intelligence
quantifier free
knuth bendix
active rules
operational semantics
theorem proving
theorem prover
database systems
data management
logic programming
database management systems
index structure