Christian Sattler,
David Wärn
Proceedings - Symposium on Logic in Computer Science
-
2024
David Wärn
Journal of Homotopy and Related Structures
-
2023