Travelled to:
1 × USA
Collaborated with:
R.L.Tenney
Talks about:
reachabl (1) problem (1) vector (1) system (1) decid (1) addit (1)
Person: George S. Sacerdote
DBLP: Sacerdote:George_S=
Contributed to:
Wrote 1 papers:
- STOC-1977-SacerdoteT #decidability #problem #reachability
- The Decidability of the Reachability Problem for Vector Addition Systems (GSS, RLT), pp. 61–76.