Pages that link to "Item:Q2888479"
From MaRDI portal
The following pages link to Complementation of Coalgebra Automata (Q2888479):
Displaying 14 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)
- Two-Way Automata in Coq (Q2829256) (← links)
- Equivalences and congruences on infinite Conway games (Q2889179) (← links)
- Stream Automata Are Coalgebras (Q2914678) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
- Coalgebraic Automata Theory: Basic Results (Q3623006) (← links)
- (Q3978743) (← links)
- (Q4223782) (← links)
- (Q4721655) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- (Q5101351) (← links)
- (Q5156442) (← links)