Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar

New York, NY / ACM (2016) [Book, Proceedings]

31st Annual ACM/IEEE Symposium on Logic in Computer Science New York, NY 2016-07-05 - 2016-07-08
Page(s): 1 Online-Ressource (901 Seiten)