Login / Signup

Rewriting Systems for Reachability in Vector Addition Systems with Pairs.

Paulin Jacobé de NauroisVirgile Mogbil
Published in: RP (2010)
Keyphrases
  • rewriting systems
  • management system
  • data warehouse