𝔖 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 - An iteration theorem for one-counter languages.

✍ Scribed by Boasson, L.

Book ID: 124072996
Publisher: ACM Press
Year: 1971
Weight: 256 KB
Category: Article
DOI: 10.1145/800157.805043

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 - The complexity of theorem-proving procedures

✍ Cook, Stephen A. 📂 Article 📅 1971 🏛 ACM Press ⚖ 470 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 first annual ACM symposiu

[ACM Press the first annual ACM symposium - Marina del Rey, California, United States (1969.05.05-1969.05.07)] Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 - Intercalation theorems for stack languages

✍ Ogden, William F. 📂 Article 📅 1969 🏛 ACM Press ⚖ 950 KB

[ACM Press the eighth annual ACM symposi

[ACM Press the eighth annual ACM symposium - Hershey, Pennsylvania, United States (1976.05.03-1976.05.05)] Proceedings of the eighth annual ACM symposium on Theory of computing - STOC '76 - NP-complete decision problems for quadratic polynomials

✍ Manders, Kenneth; Adleman, Leonard 📂 Article 📅 1976 🏛 ACM Press ⚖ 431 KB

[ACM Press the first annual ACM symposiu

[ACM Press the first annual ACM symposium - Marina del Rey, California, United States (1969.05.05-1969.05.07)] Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 - Some properties of precedence languages

✍ Fischer, Michael J. 📂 Article 📅 1969 🏛 ACM Press ⚖ 539 KB