Original language | English |
---|---|
Title of host publication | Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012 |
Publication status | Published - 2012 |
Event | Logic in Computer Science (LICS) - Duration: 1 Jan 2012 → 1 Jan 2012 |
Conference
Conference | Logic in Computer Science (LICS) |
---|---|
Period | 1/01/12 → 1/01/12 |