Pages that link to "Item:Q1209622"
From MaRDI portal
The following pages link to Well rewrite orderings and well quasi-orderings (Q1209622):
Displaying 11 items.
- Linearizing well quasi-orders and bounding the length of bad sequences (Q744984) (← links)
- Leanest quasi-orderings (Q876045) (← 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 finite posets and formal languages (Q1898732) (← links)
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders (Q3295145) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- (Q3496370) (← links)
- Well Quasi-orders in Formal Language Theory (Q3533001) (← links)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- An addition to "On defining well-orderings" (Q5596754) (← links)
- Term Rewriting and Applications (Q5703873) (← links)