𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the third annual ACM symposium - Shaker Heights, Ohio, United States (1971.05.03-1971.05.05)] Proceedings of the third annual ACM symposium on Theory of computing - STOC '71 - The complexity of theorem-proving procedures

✍ Scribed by Cook, Stephen A.

Book ID: 111899180
Publisher: ACM Press
Year: 1971
Weight: 470 KB
Volume: 0
Category: Article
DOI: 10.1145/800157.805047

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the third annual ACM symposiu

[ACM Press the third annual ACM symposium - Shaker Heights, Ohio, United States (1971.05.03-1971.05.05)] Proceedings of the third annual ACM symposium on Theory of computing - STOC '71 - The complexity of theorem-proving procedures

✍ Cook, Stephen A. 📂 Article 📅 1971 🏛 ACM Press ⚖ 470 KB

[ACM Press the third annual ACM symposiu

[ACM Press the third annual ACM symposium - Shaker Heights, Ohio, United States (1971.05.03-1971.05.05)] Proceedings of the third annual ACM symposium on Theory of computing - STOC '71 - An iteration theorem for one-counter languages.

✍ Boasson, L. 📂 Article 📅 1971 🏛 ACM Press ⚖ 256 KB

[ACM Press the twenty-third annual ACM s

[ACM Press the twenty-third annual ACM symposium - New Orleans, Louisiana, United States (1991.05.05-1991.05.08)] Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC '91 - Hamiltonian paths in infinite graphs

✍ Harel, David 📂 Article 📅 1991 🏛 ACM Press ⚖ 841 KB

[ACM Press the thirteenth annual ACM sym

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - I/O complexity

✍ Jia-Wei, Hong; Kung, H. T. 📂 Article 📅 1981 🏛 ACM Press ⚖ 579 KB

[ACM Press seventh annual ACM symposium

[ACM Press seventh annual ACM symposium - Albuquerque, New Mexico, United States (1975.05.05-1975.05.07)] Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75 - Comparative complexity of grammar forms

✍ Ginsburg, Seymour; Lynch, Nancy 📂 Article 📅 1975 🏛 ACM Press ⚖ 587 KB

[ACM Press the fourth annual ACM symposi

[ACM Press the fourth annual ACM symposium - Denver, Colorado, United States (1972.05.01-1972.05.03)] Proceedings of the fourth annual ACM symposium on Theory of computing - STOC '72 - A hierarchy for nondeterministic time complexity

✍ Cook, Stephen A. 📂 Article 📅 1972 🏛 ACM Press ⚖ 398 KB