01335nam 2200361 450 99657481530331620230417183728.01-66544-895-4(CKB)4100000011974766(NjHacI)994100000011974766(EXLCZ)99410000001197476620230417d2021 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 29 June 2021-2 July 2021, Rome, Italy /Institute of Electrical and Electronics EngineersPiscataway, New Jersey :IEEE,[2021]©20211 online resource (1218 pages) illustrations1-66544-896-2 The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science Logic, Symbolic and mathematicalCongressesLogic, Symbolic and mathematical511.3NjHacINjHaclPROCEEDING9965748153033162021 36th Annual ACM3089942UNISA