Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete.

Matthias Englert Ranko Lazic Patrick Totzke

Published in: LICS (2016)

Keyphrases

three dimensional
distributed systems
computer systems
finite state machines
complex systems
natural language
data mining
information retrieval systems
management system
question answering
knowledge based systems
multi dimensional
pairwise
reinforcement learning
knowledge base
information systems
social networks