Pages that link to "Item:Q1683709"
From MaRDI portal
The following pages link to A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709):
Displaying 5 items.
- Coequational logic for finitary functors (Q2873671) (← links)
- Presentation of Set Functors: A Coalgebraic Perspective (Q3056295) (← links)
- Deduction Systems for Coalgebras Over Measurable Spaces (Q3056298) (← links)
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces (Q4236207) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)