Vector addition system reachability problem: a short self-contained proof.

Jérôme Leroux

Published in: POPL (2011)

Keyphrases

artificial intelligence
special case
neural network
feature vectors
data sets
databases
data mining
social networks
computer vision
case study
information technology
medical images
vector space