𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - Unique normal forms in term rewriting systems with repeated variables

✍ Scribed by Chew, Paul

Book ID: 115549060
Publisher: ACM Press
Year: 1981
Weight: 701 KB
Volume: 0
Category: Article
DOI: 10.1145/800076.802452

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the thirteenth annual ACM sym

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - I/O complexity

✍ Jia-Wei, Hong; Kung, H. T. 📂 Article 📅 1981 🏛 ACM Press ⚖ 579 KB

[ACM Press the thirteenth annual ACM sym

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - Localized search in sorted lists

✍ Kosaraju, S. Rao 📂 Article 📅 1981 🏛 ACM Press ⚖ 421 KB

[ACM Press the thirteenth annual ACM sym

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - Localized search in sorted lists

✍ Kosaraju, S. Rao 📂 Article 📅 1981 🏛 ACM Press ⚖ 421 KB

[ACM Press the thirteenth annual ACM sym

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - Universal schemes for parallel communication

✍ Valiant, L. G.; Brebner, G. J. 📂 Article 📅 1981 🏛 ACM Press ⚖ 901 KB

[ACM Press the thirteenth annual ACM sym

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - Space-bounded probabilistic turing machine complexity classes are closed under complement (Preliminary Version)

✍ Simon, Janos 📂 Article 📅 1981 🏛 ACM Press ⚖ 489 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 - Rapid identification of repeated patterns in strings, trees and arrays

✍ Karp, Richard M.; Miller, Raymond E.; Rosenberg, Arnold L. 📂 Article 📅 1972 🏛 ACM Press ⚖ 648 KB