𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 13th Annual IEEE Symposium on Logic in Computer Science - Indianapolis, IN, USA (21-24 June 1998)] Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) - Type theory via exact categories

✍ Scribed by Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D.S.

Book ID: 111886895
Publisher: IEEE Comput. Soc
Year: 1998
Tongue: English
Weight: 144 KB
Volume: 0
Category: Article
ISBN-13: 9780818685064
DOI: 10.1109/lics.1998.705655

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 13th Annual IEEE Sympo

[IEEE Comput. Soc 13th Annual IEEE Symposium on Logic in Computer Science - Indianapolis, IN, USA (21-24 June 1998)] Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) - Herbrand's theorem, automated reasoning and semantic tableaux

✍ Voronkov, A. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 279 KB

[IEEE Comput. Soc Fifteenth Annual IEEE

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - A decision procedure for term algebras with queues

✍ Rybina, T.; Voronkov, A. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 353 KB

[IEEE Comput. Soc 18th Annual IEEE Sympo

[IEEE Comput. Soc 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada (22-25 June 2003)] 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. - Logic in access control

✍ Abadi, M. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 228 KB

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Imperfect information flow

✍ Barwise, J.; Seligman, J. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 893 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 - Domains and logics

✍ Scott, D.S. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 156 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