𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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) - Temporal Logics over Unranked Trees

✍ Scribed by Barcelo, P.; Libkin, L.

Book ID: 126732211
Publisher: IEEE
Year: 2005
Weight: 332 KB
Category: Article
ISBN-13: 9780769522661
DOI: 10.1109/LICS.2005.51

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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) - Logic and Systems Biology

✍ Fontana, W. 📂 Article 📅 2005 🏛 IEEE ⚖ 19 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 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

[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) - Relational Parametricity and Control

✍ Hasegawa, M. 📂 Article 📅 2005 🏛 IEEE ⚖ 293 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) - A Functional Quantum Programming Language

✍ Altenkirch, T.; Grattage, J. 📂 Article 📅 2005 🏛 IEEE ⚖ 336 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) - Semantic Subtyping for the p-Calculus

✍ Castagna, G.; De Nicola, R.; Varacca, D. 📂 Article 📅 2005 🏛 IEEE ⚖ 335 KB