[IEEE 2010 25th Annual IEEE Symposium on
✦ 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 - Segal Condition Meets Computational Effects
✍ Scribed by Melliès, Paul-André
- Book ID
- 120290995
- Publisher
- IEEE
- Year
- 2010
- Weight
- 379 KB
- Category
- Article
- ISBN
- 1424475880
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
[IEEE 2010 25th Annual IEEE Symposium on
✍
Jenkin, Mark; Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
📂
Article
📅
2010
🏛
IEEE
⚖ 392 KB
[IEEE 2010 25th Annual IEEE Symposium on
✍
Kopczynski, Eryk; To, Anthony Widjaja
📂
Article
📅
2010
🏛
IEEE
⚖ 394 KB
[IEEE 2010 25th Annual IEEE Symposium on
✍
Bojanczyk, Mikolaj; Lasota, Slawomir
📂
Article
📅
2010
🏛
IEEE
⚖ 341 KB
[IEEE 2010 25th Annual IEEE Symposium on
✍
He, Yuguo
📂
Article
📅
2010
🏛
IEEE
⚖ 444 KB
[IEEE 2010 25th Annual IEEE Symposium on
✍
Harel, David
📂
Article
📅
2010
🏛
IEEE
⚖ 151 KB