𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - Partial model checking

✍ Scribed by Andersen, H.R.

Book ID: 126599136
Publisher: IEEE
Year: 1995
Weight: 785 KB
Category: Article
ISBN-13: 9780818670503
DOI: 10.1109/LICS.1995.523274

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Tenth Annual IEEE Symposium on Log

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - Normalization and extensionality

✍ Piperno, A. 📂 Article 📅 1995 🏛 IEEE ⚖ 839 KB

[IEEE Tenth Annual IEEE Symposium on Log

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - Finitely monotone properties

✍ Stolboushkin, A.P. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 749 KB

[IEEE Tenth Annual IEEE Symposium on Log

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - The complexity of neutrals in linear logic

✍ Kanovich, M.I. 📂 Article 📅 1995 🏛 IEEE ⚖ 781 KB

[IEEE Tenth Annual IEEE Symposium on Log

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - Higher-order unification via explicit substitutions

✍ Dowek, G.; Hardin, T.; Kirchner, C. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 677 KB

[IEEE Tenth Annual IEEE Symposium on Log

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - Origins and metamorphoses of the Trinity: logic, nets, automata

✍ Trakhtenbrot, B. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 124 KB

[IEEE Tenth Annual IEEE Symposium on Log

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - A fully abstract semantics for a concurrent functional language with monadic types

✍ Jeffrey, A. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 760 KB