George S. Sacerdote

According to our database1, George S. Sacerdote authored at least 2 papers between 1974 and 1977.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1977
The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version)
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

1974
Projective Model Completeness.
J. Symb. Log., 1974


  Loading...