Pages that link to "Item:Q5492826"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492826):
Displaying 8 items.
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- A Road to Ultrafilter Extensions (Q3305690) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- (Q5101337) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- (Q5875347) (← links)
