Author: Martin Grohe
Publisher:
ISBN: 9781450343916
Category : Computer logic
Languages : en
Pages : 901
Book Description
LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science Jul 05, 2016-Jul 08, 2016 New York, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.