The following pages link to Computing maximal chains (Q453200):
Displaying 7 items.
- Chains and antichains in partial orderings (Q1005926) (← links)
- A computably enumerable partial ordering without computably enumerable maximal chains and antichains (Q1673673) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- Computable linearizations of well-partial-orderings (Q2385530) (← links)
- Infinite chains and antichains in computable partial orderings (Q2747728) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Computing the all-pairs longest chains in the plane (Q5060093) (← links)