Pages that link to "Item:Q2888479"
From MaRDI portal
The following pages link to Complementation of Coalgebra Automata (Q2888479):
Displayed 7 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Equivalences and Congruences on Infinite Conway Games (Q2889179) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- (Q5101351) (← links)