Items where authors include "Messing, K."

Proceedings Paper

Beohar, H. orcid.org/0000-0001-5256-1334, Gurke, S., König, B. et al. (4 more authors) (2024) Expressive quantale-valued logics for coalgebras: an adjunction-based approach. In: Beyersdorff, O., Kanté, M.M., Kupferman, O. and Lokshtanov, D., (eds.) 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 12-14 Mar 2024, Clermont-Ferrand, France. Leibniz International Proceedings in Informatics (LIPIcs), 289 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 10:1-10:19.

Beohar, H. orcid.org/0000-0001-5256-1334, Gurke, S., König, B. et al. (1 more author) (2023) Hennessy-Milner theorems via Galois connections. In: Leibniz International Proceedings in Informatics, LIPIcs. 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 13-16 Feb 2023, Warsaw, Poland. Leibniz International Proceedings in Informatics, 252 . Schloss Dagstuhl -- Leibniz-Zentrum , 12:1-12:18. ISBN 978-3-95977-264-8