𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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 - Probabilistic polynomial-time process calculus and security protocol analysis

✍ Scribed by Mitchell, J.; Ramanathan, A.; Scedrov, A.; Teague, V.

Book ID: 126755654
Publisher: IEEE Comput. Soc
Year: 2001
Weight: 266 KB
Category: Article
ISBN-13: 9780769512815
DOI: 10.1109/LICS.2001.932477

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Light affine lambda calculus and polytime strong normalization

✍ Terui, K. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 869 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 - On definability of order in logic with choice

✍ Huuskonen, T.; Hyttinen, T. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 560 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 - Semistructured data: from practice to theory

✍ Abiteboul, S. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 664 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

[IEEE Comput. Soc. Press 11th Annual IEE

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Solving linear equations over polynomial semirings

✍ Narendran, P. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 533 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) - Secure implementation of channel abstractions

✍ Abadi, M.; Fournet, C.; Gonthier, G. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 197 KB