Coalgebraic Methods in Computer Science 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings Hansen, Helle Hvid Heftet / 2022 / Engelsk
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings Hansen, Helle Hvid Heftet / 2023 / Engelsk
Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers Hansen, Helle Hvid Heftet / 2017 / Engelsk
