TY  - CONF

T1  - Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic

JO  - 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

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

PY  - 2022/07/23

AU  - Beohar H

AU  - König B

AU  - Küpper S

AU  - Mika-Michalski C

ED  - Hansen HH

ED  - Zanasi F

DO  - DOI: 10.1007/978-3-031-10736-8_1

PB  - Springer Nature

SN  - 9783031107351

IS  - 13225

SP  - 1

EP  - 22

Y2  - 2025/11/20

ER  -