TY  - CONF

T1  - Expressive quantale-valued logics for coalgebras: an adjunction-based approach

JO  - 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024)

UR  - https://eprints.whiterose.ac.uk/id/eprint/213738

PY  - 2024/03/11

AU  - Beohar H

AU  - Gurke S

AU  - König B

AU  - Messing K

AU  - Forster J

AU  - Schröder L

AU  - Wild P

ED  - Beyersdorff O

ED  - Kanté MM

ED  - Kupferman O

ED  - Lokshtanov D

DO  - DOI: 10.4230/LIPIcs.STACS.2024.10

PB  - Schloss Dagstuhl – Leibniz-Zentrum für Informatik

VL  - 289

SP  - 10:1

EP  - 10:19

Y2  - 2025/11/20

ER  -