Pages that link to "Item:Q1798796"
From MaRDI portal
The following pages link to Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796):
Displaying 5 items.
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Categorial generalization of algebraic recursion theory (Q1898417) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- (Q5875345) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)