𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Bouyer, P.; Brihaye, T.; Chevalier, F.

Book ID: 118241305
Publisher: IEEE
Year: 2006
Weight: 225 KB
Volume: 0
Category: Article
ISBN-13: 9780769526317
DOI: 10.1109/lics.2006.22

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 2008 23rd Annual IEEE Symposium on

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - From Axioms to Analytic Rules in Nonclassical Logics

✍ Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige 📂 Article 📅 2008 🏛 IEEE ⚖ 340 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