van Leeuwen, Jan A partial solution to the reachability-problem for vector-addition systems. (English) Zbl 0362.68105 Proc. 6th ann. ACM Symp. Theory Comput., Seattle 1974, 303-309 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 11 Documents MSC: 68Q45 Formal languages and automata 11D99 Diophantine equations 68Q25 Analysis of algorithms and problem complexity × Cite Format Result Cite Review PDF