𝔖 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 - On definability of order in logic with choice

✍ Scribed by Huuskonen, T.; Hyttinen, T.

Book ID: 126605138
Publisher: IEEE Comput. Soc
Year: 2001
Weight: 560 KB
Category: Article
ISBN-13: 9780769512815
DOI: 10.1109/LICS.2001.932493

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

✍ Mitchell, J.; Ramanathan, A.; Scedrov, A.; Teague, V. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 266 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 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 Fifth Annual IE

[IEEE Comput. Soc. Press Fifth Annual IEEE Symposium on Logic in Computer Science - Philadelphia, PA, USA (4-7 June 1990)] [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science - Well rewrite orderings

✍ Lescanne, P. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 583 KB