Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

It is our pleasure to present the proceedings volume of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), held from9th to 12th July 2018 at Oxford (UK) as part of the Federated Logic Conference (FLoC 2018).

Detalles Bibliográficos
Autor principal: Association for Computing Machinery (author)
Autor Corporativo: Association for Computing Machinery, author, issuing body (author)
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York, NY, USA : ACM 2018.
Colección:ACM Conferences
Materias:
Computer logic > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713769306719
Descripción
Sumario:It is our pleasure to present the proceedings volume of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), held from9th to 12th July 2018 at Oxford (UK) as part of the Federated Logic Conference (FLoC 2018).
Descripción Física:1 online resource (960 pages) : illustrations

Ejemplares similares