Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016
| Title | Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 |
| Publication Type | Conference Proceedings |
| Year of Publication | 2016 |
| Secondary Authors | Martin Grohe, Eric Koskinen, Natarajan Shankar |
| Publisher | ACM |
| ISBN Number | 978-1-4503-4391-6 |
| Keywords | 1329759 |
| URL | http://doi.acm.org/10.1145/2933575 |
| DOI | 10.1145/2933575 |
| Citation Key | DBLP:conf/lics/2016 |