𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - Compiler verification in LF

✍ Scribed by Hannan, J.; Pfenning, F.

Book ID: 126625944
Publisher: IEEE Comput. Soc. Press
Year: 1992
Tongue: English
Weight: 983 KB
Edition: 7
Category: Article
ISBN-13: 9780818627354
DOI: 10.1109/LICS.1992.185552

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1992] Seventh

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - Solving systems of set constraints

✍ Aiken, A.; Wimmers, E.L. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 901 KB

[IEEE Comput. Soc. Press [1992] Seventh

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - Monadic theory of term rewritings

✍ Caucal, D. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 576 KB

[IEEE Comput. Soc. Press [1992] Seventh

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - The lazy lambda calculus in a concurrency scenario

✍ Sangiorgi, D. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 664 KB

[IEEE Comput. Soc. Press [1992] Seventh

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - Strong sequentiality of left-linear overlapping term rewriting systems

✍ Toyama, Y. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 761 KB

[IEEE Comput. Soc. Press [1992] Seventh

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - Double-exponential complexity of computing a complete set of AC-unifiers

✍ Kapur, D.; Narendran, P. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 927 KB

[IEEE Comput. Soc. Press [1992] Seventh

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - There is no recursive axiomatization for feasible functionals of type 2

✍ Seth, A. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 857 KB