论文信息 - Reachability Problems in Vector Addition Systems - 字舞流文

Reachability Problems in Vector Addition Systems

[1] Joseph S. Ullian,et al. Ambiguity in context free languages , 1966, JACM.

[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .

[3] Richard M. Karp,et al. The Organization of Computations for Uniform Recurrence Equations , 1967, JACM.

[4] Seymour Ginsburg,et al. The mathematical theory of context free languages , 1966 .

[5] Richard M. Karp,et al. Parallel Program Schemata , 1969, J. Comput. Syst. Sci..