Items where authors include "Wild, P."

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.