𝔖 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 complexity of relational query languages (Extended Abstract)

✍ Scribed by Vardi, Moshe Y.

Book ID: 121677146
Publisher: ACM Press
Year: 1982
Weight: 501 KB
Category: Article
ISBN-13: 9780897910705
DOI: 10.1145/800070.802186

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 - The tight deterministic time hierarchy

✍ Fürer, Martin 📂 Article 📅 1982 🏛 ACM Press ⚖ 469 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 - 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 - 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 - Some properties of precedence languages

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