George S. Sacerdote

Publication Activity (10 Years)

Years Active: 1974-1977
Publications (10 Years): 0

Publications

George S. Sacerdote, Richard L. Tenney
The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) STOC (1977)
George S. Sacerdote
Projective Model Completeness. J. Symb. Log. 39 (1) (1974)