Back to Search
Start Over
Computability and completeness in logics of programs (Preliminary Report).
- Source :
- Proceedings of the Ninth Annual ACM Symposium: Theory of Computing; 5/ 4/1977, p261-268, 8p
- Publication Year :
- 1977
Details
- Language :
- English
- Database :
- Complementary Index
- Journal :
- Proceedings of the Ninth Annual ACM Symposium: Theory of Computing
- Publication Type :
- Conference
- Accession number :
- 83678922
- Full Text :
- https://doi.org/10.1145/800105.803416