𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's

✍ Scribed by Harel, David

Book ID: 126737706
Publisher: IEEE
Year: 2010
Weight: 151 KB
Category: Article
ISBN: 1424475880
DOI: 10.1109/LICS.2010.54

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 25th Annual IEEE Symposium on

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Segal Condition Meets Computational Effects

✍ Melliès, Paul-André 📂 Article 📅 2010 🏛 IEEE ⚖ 379 KB

[IEEE 2010 25th Annual IEEE Symposium on

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Theorem Proving for Verification: The Early Days

✍ Moore, J Strother 📂 Article 📅 2010 🏛 IEEE ⚖ 151 KB

[IEEE 2010 25th Annual IEEE Symposium on

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Parikh Images of Grammars: Complexity and Applications

✍ Kopczynski, Eryk; To, Anthony Widjaja 📂 Article 📅 2010 🏛 IEEE ⚖ 394 KB

[IEEE 2010 25th Annual IEEE Symposium on

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Alternating Timed Automata over Bounded Time

✍ Jenkin, Mark; Ouaknine, Joël; Rabinovich, Alexander; Worrell, James 📂 Article 📅 2010 🏛 IEEE ⚖ 392 KB

[IEEE 2010 25th Annual IEEE Symposium on

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - An Extension of Data Automata that Captures XPath

✍ Bojanczyk, Mikolaj; Lasota, Slawomir 📂 Article 📅 2010 🏛 IEEE ⚖ 341 KB

[IEEE 2010 25th Annual IEEE Symposium on

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures

✍ He, Yuguo 📂 Article 📅 2010 🏛 IEEE ⚖ 444 KB