Pages that link to "Item:Q1798785"
From MaRDI portal
The following pages link to Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785):
Displaying 5 items.
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Predicate liftings versus nabla modalities (Q2873669) (← links)
- Towards a Coalgebraic Chomsky Hierarchy (Q3190167) (← links)
- (Q4256310) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)