𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Platzer, Andre

Book ID: 118180285
Publisher: IEEE
Year: 2012
Weight: 541 KB
Category: Article
ISBN: 0769547699
DOI: 10.1109/lics.2012.13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus

✍ Mazza, Damiano 📂 Article 📅 2012 🏛 IEEE ⚖ 293 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 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 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