The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version)

George S. Sacerdote Richard L. Tenney

Published in: STOC (1977)

Keyphrases

preliminary version
data sets
distributed systems
neural network
real world
search algorithm
expert systems
evolutionary algorithm
dynamic programming
description logics
information retrieval systems
intelligent systems
computer systems
complex systems