30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. IEEE, 2015. [doi]
Conference: lics2015
@proceedings{lics-2015, title = {30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015}, year = {2015}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174833}, researchr = {https://researchr.org/publication/lics-2015}, cites = {0}, citedby = {0}, booktitle = {30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015}, conference = {lics}, publisher = {IEEE}, isbn = {978-1-4799-8875-4}, }