32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017. IEEE Computer Society, 2017. [doi]
Conference: lics2017
@proceedings{lics-2017,
title = {32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017},
year = {2017},
url = {https://www.computer.org/csdl/proceedings/lics/2017/3018/00/index.html},
researchr = {https://researchr.org/publication/lics-2017},
cites = {0},
citedby = {0},
booktitle = {32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017},
conference = {lics},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-3018-7},
}