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

Matthias Englert Ranko Lazic Patrick Totzke

Published in: CoRR (2016)

Keyphrases

pairwise
distributed systems
real time
database
neural network
similarity measure
natural language
computer systems
question answering
linguistic knowledge
social networks
three dimensional
expert systems
management system
learning systems
retrieval systems