Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension.

Jérôme Leroux Sylvain Schmitz

Published in: CoRR (2019)

Keyphrases

distributed systems
computer systems
learning systems
vector space
computing systems
data sets
genetic algorithm
artificial intelligence
expert systems
intelligent systems