𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Non trivial power types can't be subtypes of polymorphic types

✍ Scribed by Pitt, A.M.

Book ID: 126754885
Publisher: IEEE Comput. Soc. Press
Year: 1989
Weight: 662 KB
Category: Article
ISBN-13: 9780818619540
DOI: 10.1109/LICS.1989.39154

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Domains and logics

✍ Scott, D.S. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 156 KB

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Compositional model checking

✍ Clarke, E.M.; Long, D.E.; McMillan, K.L. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 797 KB

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Axiomatizing net computations and processes

✍ Degano, P.; Meseguer, J.; Montanari, U. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 929 KB

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - The mathematics of nonmonotonic reasoning

✍ Lifschitz, V. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 74 KB

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Axiomatizing operational equivalence in the presence of side effects

✍ Mason, I.A.; Talcott, C. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 747 KB

[IEEE Comput. Soc 16th Annual IEEE Sympo

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - A symbolic labelled transition system for coinductive subtyping of F/sub μ≤/ types

✍ Jeffery, A. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 691 KB