Acuaviva, A.,
Makam, V.,
Nieuwboer, H.,
Perez-Garcia, D.,
Sittner, F.,
Walter, M. &
Witteveen, Freek Gerrit,
2023,
Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023. IEEE,
s. 328-362 Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt