Login / Signup

Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior.

Matthias Mutz
Published in: CAV (1991)
Keyphrases
  • rewriting rules
  • query terms
  • rewrite rules
  • relational databases
  • data warehouse
  • multi dimensional