George S. Sacerdote

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)

Coauthor Index

1 Richard L. Tenney [2]