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

Grohe, Martin (Editor); Koskinen, Eric (Editor); Shankar, Natarajan (Editor)

New York, NY : ACM (2016)
Book, Proceedings