Pages that link to "Item:Q2942779"
From MaRDI portal
The following pages link to Coalgebraic Simulations and Congruences (Q2942779):
Displaying 8 items.
- Simulations in coalgebra (Q703522) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Simulations in coalgebra (Q2843725) (← links)
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations (Q3525087) (← links)
- Coalgebraic Infinite Traces and Kleisli Simulations (Q5275359) (← links)
- Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
- On difunctions (Q6113019) (← links)
- Moore-Penrose Dagger Categories (Q6200530) (← links)