Kretínský, J.,
Meggendorfer, T. &
Weininger, M.,
14/07/2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. IEEE,
p. 1-14 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review