Pages that link to "Item:Q5739456"
From MaRDI portal
The following pages link to Coalgebraic Completeness-via-Canonicity (Q5739456):
Displaying 9 items.
- A Coalgebraic Perspective on Minimization and Determinization (Q2892759) (← links)
- Completeness for the coalgebraic cover modality (Q2904618) (← links)
- Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation (Q2914237) (← links)
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (Q3000635) (← links)
- Complete Coinductive Theories. I (Q3486554) (← links)
- Flat Coalgebraic Fixed Point Logics (Q3584953) (← links)
- Some Sahlqvist Completeness Results for Coalgebraic Logics (Q4910420) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)