Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16
Latest Publications
TOTAL DOCUMENTS
89
(FIVE YEARS 0)
H-INDEX
10
(FIVE YEARS 0)
Published By ACM Press
9781450343916