Browse by ISBN
Number of items: 2.
Goubault, Éric and Kniazev, Roman and Ledent, Jérémy and Rajsbaum, Sergio; (2023) Semi-simplicial set models for distributed knowledge. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, USA. ISBN 9798350335873
Winskel, Glynn; Walukiewicz, Igor, ed. (2023) Making concurrency functional. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, Piscataway, NJ, pp. 1-14. ISBN 9798350335873