𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the tenth annual ACM symposium - San Diego, California, United States (1978.05.01-1978.05.03)] Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 - Presburger arithmetic with bounded quantifier alternation

✍ Scribed by Reddy, C. R.; Loveland, D. W.

Book ID: 121080708
Publisher: ACM Press
Year: 1978
Weight: 439 KB
Category: Article
DOI: 10.1145/800133.804361

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the tenth annual ACM symposiu

[ACM Press the tenth annual ACM symposium - San Diego, California, United States (1978.05.01-1978.05.03)] Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 - Exact and approximate membership testers

✍ Carter, Larry; Floyd, Robert; Gill, John; Markowsky, George; Wegman, Mark 📂 Article 📅 1978 🏛 ACM Press ⚖ 509 KB

[ACM Press the tenth annual ACM symposiu

[ACM Press the tenth annual ACM symposium - San Diego, California, United States (1978.05.01-1978.05.03)] Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 - On the completeness of a generalized matching problem

✍ Kirkpatrick, David G.; Hell, Pavol 📂 Article 📅 1978 🏛 ACM Press ⚖ 438 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 - Time-bounded random access machines

✍ Cook, Stephen A.; Reckhow, Robert A. 📂 Article 📅 1972 🏛 ACM Press ⚖ 483 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 - Binary search trees of bounded balance

✍ Nievergelt, J.; Reingold, E. M. 📂 Article 📅 1972 🏛 ACM Press ⚖ 470 KB

[ACM Press the fourteenth annual ACM sym

[ACM Press the fourteenth annual ACM symposium - San Francisco, California, United States (1982.05.05-1982.05.07)] Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 - The tight deterministic time hierarchy

✍ Fürer, Martin 📂 Article 📅 1982 🏛 ACM Press ⚖ 469 KB

[ACM Press the twenty-fifth annual ACM s

[ACM Press the twenty-fifth annual ACM symposium - San Diego, California, United States (1993.05.16-1993.05.18)] Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 - Thermodynamics of computation and information distance

✍ Bennett, Charles H.; Gács, Péter; Li, Ming; Vitányi, Paul M. B.; Zurek, Wojciech 📂 Article 📅 1993 🏛 ACM Press ⚖ 976 KB