Login / Signup
Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete.
Michael Blondin
Alain Finkel
Stefan Göller
Christoph Haase
Pierre McKenzie
Published in:
CoRR (2014)
Keyphrases
</>
complex systems
pspace complete
np complete
learning algorithm
knowledge representation