𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - The unifiability problem in ground AC theories

✍ Scribed by Narendran, P.; Rusinowitch, M.

Book ID: 126637657
Publisher: IEEE Comput. Soc. Press
Year: 1993
Weight: 559 KB
Category: Article
ISBN-13: 9780818631405
DOI: 10.1109/LICS.1993.287572

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Type theory and recursion

✍ Plotkin, G.D. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 104 KB

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Imperfect information flow

✍ Barwise, J.; Seligman, J. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 893 KB

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Lambek grammars are context free

✍ Pentus, M. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 366 KB

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Verifying programs with unreliable channels

✍ Abdulla, P.; Jonsson, B. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 863 KB

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Functional unification of higher-order patterns

✍ Nipkom, T. 📂 Article 📅 1993 🏛 IEEE ⚖ 698 KB

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Adequacy for untyped translations of typed lambda -calculi

✍ Phoa, W. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 650 KB