The following pages link to (Q4404457):
Displaying 11 items.
- Varieties of chain-complete algebras (Q1145208) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- On rational definitions in complete algebras without rank (Q1171374) (← links)
- An extensional fixed-point semantics for nondeterministic data flow (Q1183593) (← links)
- IO and OI. I (Q1241985) (← links)
- IO and OI. II (Q1243578) (← links)
- Fixed-point constructions in order-enriched categories (Q1255084) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- (Q3336679) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
