The following pages link to Well quasi-ordered sets (Q1803588):
Displayed 6 items.
- Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- A linear time algorithm for monadic querying of indefinite data over linearly ordered domains (Q1887153) (← links)
- A Decision Procedure for Regular Expression Equivalence in Type Theory (Q3100207) (← links)
- A Mechanized Proof of Higman’s Lemma by Open Induction (Q3295156) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)