The following pages link to Well quasi-ordered sets (Q1803588):
Displaying 24 items.
- Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
- Set systems: order types, continuous nondeterministic deformations, and quasi-orders (Q653312) (← links)
- Exact unprovability results for compound well-quasi-ordered combinatorial classes (Q1006603) (← links)
- Partitionseigenschaft von endlichen Folgen (Q1059079) (← links)
- On well-quasi-ordering finite sequences (Q1120606) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Well-quasi-ordering and the Hausdorff quasi-uniformity (Q1295289) (← links)
- Well quasi orders in a categorical setting (Q1734279) (← links)
- On operations and linear extensions of well partially ordered sets (Q1765955) (← links)
- On Scott's thesis for domains of information and well-quasi-orderings (Q1813971) (← links)
- A linear time algorithm for monadic querying of indefinite data over linearly ordered domains (Q1887153) (← links)
- A syntactic approach to the MacNeille completion of \(\Lambda^\ast\), the free monoid over an ordered alphabet \(\Lambda\) (Q2314419) (← links)
- Well-quasi-ordering hereditarily finite sets (Q2855754) (← links)
- A Decision Procedure for Regular Expression Equivalence in Type Theory (Q3100207) (← links)
- A Theorem on Partial Well-Ordering of Sets of Vectors (Q3254413) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- A Mechanized Proof of Higman’s Lemma by Open Induction (Q3295156) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- (Q3496370) (← links)
- Representative properties of the quasi-ordered set $F(\alpha, M)$ (Q3679240) (← links)
- Well-quasiordering depends on the labels (Q3984103) (← links)
- (Q4290001) (← links)
- Well‐quasi‐ordering and finite distinguishing number (Q5066907) (← links)
- Infinitary Noetherian constructions I. Infinite words (Q5074202) (← links)
