𝔖 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) - Herbrand Constraint Abduction

✍ Scribed by Maher, M.

Book ID: 111891773
Publisher: IEEE
Year: 2005
Weight: 263 KB
Volume: 0
Category: Article
ISBN-13: 9780769522661
DOI: 10.1109/lics.2005.21

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) - Relations in Concurrency

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

[IEEE 2011 26th Annual IEEE Symposium on

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Automata with Group Actions

✍ Bojanczyk, Mikolaj; Klin, Bartek; Lasota, Slawomir 📂 Article 📅 2011 🏛 IEEE ⚖ 375 KB

[IEEE 2011 26th Annual IEEE Symposium on

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Temporal Specifications with Accumulative Values

✍ Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 📂 Article 📅 2011 🏛 IEEE ⚖ 330 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 2009 24th Annual IEEE Symposium on

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Co-ing Büchi Made Tight and Useful

✍ Boker, Udi; Kupferman, Orna 📂 Article 📅 2009 🏛 IEEE ⚖ 292 KB

Call for papers: LICS fifth annual IEEE

Call for papers: LICS fifth annual IEEE symposium on logic in computer science June 4–7, 1990, Philadelphia, PA, USA

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 106 KB