Login / Signup

Proving Correctness of Logically Decorated Graph Rewriting Systems.

Jon Haël BrenasRachid EchahedMartin Strecker
Published in: FSCD (2016)
Keyphrases
  • rewriting systems
  • rewriting rules
  • databases
  • query language