Pages that link to "Item:Q5492825"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492825):
Displaying 10 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- Relation lifting, with an application to the many-valued cover modality (Q2856480) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)