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

✍ Scribed by Winskel, G.

Book ID: 111962510
Publisher: IEEE
Year: 2005
Weight: 291 KB
Volume: 0
Category: Article
ISBN-13: 9780769522661
DOI: 10.1109/lics.2005.45

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

✍ Maher, M. 📂 Article 📅 2005 🏛 IEEE ⚖ 263 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 21st Annual IEEE Symposium on Logi

[IEEE 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Seattle, WA, USA (12-15 Aug. 2006)] 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Control in o-minimal Hybrid Systems

✍ Bouyer, P.; Brihaye, T.; Chevalier, F. 📂 Article 📅 2006 🏛 IEEE ⚖ 225 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