𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Bojanczyk, Mikolaj; Klin, Bartek; Lasota, Slawomir

Book ID: 118223737
Publisher: IEEE
Year: 2011
Weight: 375 KB
Volume: 0
Category: Article
ISBN: 145770451X
DOI: 10.1109/lics.2011.48

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 - Temporal Specifications with Accumulative Values

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

[IEEE 2011 24th International Symposium on Computer-Based Medical Systems (CBMS) - Bristol, United Kingdom (2011.06.27-2011.06.30)] 2011 24th International Symposium on Computer-Based Medical Systems (CBMS) - Challenges in microarray data management and analysis

✍ Guzzi, Pietro Hiram; Cannataro, Mario 📂 Article 📅 2011 🏛 IEEE ⚖ 198 KB