𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Fürer, Martin

Book ID: 121731097
Publisher: ACM Press
Year: 1982
Weight: 469 KB
Category: Article
ISBN-13: 9780897910705
DOI: 10.1145/800070.802172

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Fast algorithms under the extended riemann hypothesis

✍ Bach, Eric 📂 Article 📅 1982 🏛 ACM Press ⚖ 409 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 complexity of relational query languages (Extended Abstract)

✍ Vardi, Moshe Y. 📂 Article 📅 1982 🏛 ACM Press ⚖ 501 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 - Decidability of reachability in vector addition systems (Preliminary Version)

✍ Kosaraju, S. Rao 📂 Article 📅 1982 🏛 ACM Press ⚖ 829 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 - Decision procedures and expressiveness in the temporal logic of branching time

✍ Emerson, E. Allen; Halpern, Joseph Y. 📂 Article 📅 1982 🏛 ACM Press ⚖ 793 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 - Abstract families of deterministic languages

✍ Chandler, W. J. 📂 Article 📅 1969 🏛 ACM Press ⚖ 728 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 - Context-free grammars on trees

✍ Rounds, William C. 📂 Article 📅 1969 🏛 ACM Press ⚖ 351 KB