Login / Signup

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3.

Nicolas BehrMaryam Ghaffari SaadatReiko Heckel
Published in: GCM@STAF (2020)
Keyphrases
  • rewriting systems
  • database
  • relational databases
  • pattern matching