𝔖 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 - Decidability of reachability in vector addition systems (Preliminary Version)

✍ Scribed by Kosaraju, S. Rao

Book ID: 126272103
Publisher: ACM Press
Year: 1982
Weight: 829 KB
Category: Article
ISBN-13: 9780897910705
DOI: 10.1145/800070.802201

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 - 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 - 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 - Context-free grammars on trees

✍ Rounds, William C. 📂 Article 📅 1969 🏛 ACM Press ⚖ 351 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