𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Abadi, M.

Book ID: 118018127
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 228 KB
Edition: 18
Volume: 0
Category: Article
ISBN-13: 9780769518848
DOI: 10.1109/lics.2003.1210062

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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. 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 2012 27th Annual IEEE Symposium on

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Logics of Dynamical Systems

✍ Platzer, Andre 📂 Article 📅 2012 🏛 IEEE ⚖ 541 KB

[IEEE 20th Annual IEEE Symposium on Logi

[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Relations in Concurrency

✍ Winskel, G. 📂 Article 📅 2005 🏛 IEEE ⚖ 291 KB

[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) - Type theory via exact categories

✍ Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D.S. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 144 KB

[IEEE 20th Annual IEEE Symposium on Logi

[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Herbrand Constraint Abduction

✍ Maher, M. 📂 Article 📅 2005 🏛 IEEE ⚖ 263 KB