Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) July 8-11, 2020, Saarbrücken, Germany by Holger Hermanns | Menrva Books | MenrvaBooks
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) July 8-11, 2020, Saarbrücken, Germany