The reachability problem for vector addition systems with a stack is not elementary.

Published in: CoRR (2013)

Keyphrases

artificial intelligence
neural network
computing systems
knowledge based systems
data sets
computer systems
intelligent systems
control system
systems require
complex systems
learning systems
distributed systems
feature vectors
natural language
three dimensional
website
databases