1977 | ||
---|---|---|
2 | George S. Sacerdote, Richard L. Tenney: The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) STOC 1977: 61-76 | |
1974 | ||
1 | George S. Sacerdote: Projective Model Completeness. J. Symb. Log. 39(1): 117-123 (1974) |
1 | Richard L. Tenney | [2] |