Record Beta
Logic in Computer Science (LICS)
https://id.confref.org/data/confref-portal/event/lics2016
This record is part of the confref event Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.