01337nam 2200361 450 991051060180332120230417183728.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.3NjHacINjHaclPROCEEDING99105106018033212021 36th Annual ACM3089942UNINA