Projections of Vector Addition System Reachability Sets are Semilinear.

Hans Kleine Büning Theodor Lettmann Ernst W. Mayr

Published in: Theor. Comput. Sci. (1989)

Keyphrases

convex sets
neural network
real time
website
three dimensional
database systems
set theoretic
multiscale
feature vectors
spatial data
constraint sets
discrete sets