Login / Signup

The reachability problem for branching vector addition systems requires doubly-exponential space.

Ranko Lazic
Published in: Inf. Process. Lett. (2010)
Keyphrases
  • systems require
  • distributed systems
  • website
  • learning systems
  • space time
  • data sets
  • real world
  • multimedia
  • multiscale
  • lower bound
  • information retrieval systems
  • intelligent systems
  • computer systems