2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2018-12-17

URL

https://ieeexplore.ieee.org/servlet/opac?punumber=8508870

issn

978-1-4503-4391-6

eissn

978-1-4503-4391-6