The following pages link to (Q3912630):
Displayed 9 items.
- A direct characterization of completion (Q672756) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Order completion monads (Q1055871) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- On the algebra of order (Q1143782) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
- (Q3953140) (← links)