𝔖 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. - New directions in instantiation-based theorem proving

✍ Scribed by Ganzinger, H.; Korovin, K.

Book ID: 125547689
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 360 KB
Edition: 18
Category: Article
ISBN-13: 9780769518848
DOI: 10.1109/LICS.2003.1210045

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 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. - Types and programming languages: the next generation

✍ Pierce, B.C. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 178 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 - Light affine lambda calculus and polytime strong normalization

✍ Terui, K. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 869 KB

[IEEE Comput. Soc. Press [1992] Seventh

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - Compiler verification in LF

✍ Hannan, J.; Pfenning, F. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 983 KB