Heijltjes, W. &
Majury, G.,
3 Feb 2025,
33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl, Germany:
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing,
22 p. 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding