𝔖 Bobbio Scriptorium

✦ LIBER ✦

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

Book ID: 112252075
Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 15 KB
Volume: 110
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1994.1032

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Conference Issue, 1992 IEE Sympo

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

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

[IEEE Comput. Sco. Press Sixth Annual IE

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Games semantics for linear logic

✍ Lafont, Y.; Streicher, T. 📂 Article 📅 1991 🏛 IEEE Comput. Sco. Press ⚖ 639 KB

[IEEE Comput. Sco. Press Sixth Annual IE

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - On computational open-endedness in Martin-Lof's type theory

✍ Howe, D.J. 📂 Article 📅 1991 🏛 IEEE Comput. Sco. Press 🌐 English ⚖ 999 KB

Special FOCS issue—twenty-second annual

Special FOCS issue—twenty-second annual IEEE symposium on foundations of computer science

✍ Arnold L. Rosenberg 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 37 KB

[IEEE Comput. Sco. Press Sixth Annual IE

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Prop revisited: propositional formula as abstract domain for groundness analysis

✍ Cortesi, A.; File, G.; Winsborough, W. 📂 Article 📅 1991 🏛 IEEE Comput. Sco. Press ⚖ 472 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