TY  - CONF

T1  - Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2024/03/01

AU  - Beohar H

AU  - König B

AU  - Forster J

AU  - Wild P

AU  - Gurke S

AU  - Messing K

AU  - Schröder L

ED  - 

DO  - DOI: 10.4230/LIPIcs.STACS.2024.10

SN  - 9783959773119

VL  - 289

Y2  - 2024/12/23

ER  -