𝔖 Bobbio Scriptorium

✦ LIBER ✦

Special Conference Issue, 1992 IEE Symposium on Logic in Computer Science

Book ID: 112252080
Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 13 KB
Volume: 111
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1994.1044

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Conference Issue, 1991 IEEE Symp

Special Conference Issue, 1991 IEEE Symposium on Logic in Computer Science

📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 15 KB

Special FOCS issue Sixteenth Annual Symp

Special FOCS issue Sixteenth Annual Symposium on Foundations of Computer Science

✍ Arnold L. Rosenberg; Jack W. Carlyle; Sheila A. Greibach 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 28 KB

Third annual symposium on logic in compu

Third annual symposium on logic in computer science

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 92 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 - Compiler verification in LF

✍ Hannan, J.; Pfenning, F. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 983 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 - 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