dblp.uni-trier.dewww.uni-trier.de

George S. Sacerdote

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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)

Coauthor Index

1Richard L. Tenney [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)