No label defined (Q5009706)
From MaRDI portal
scientific article; zbMATH DE number 7379291
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7379291 |
Statements
5 August 2021
0 references
well-quasi-ordering
0 references
recursive path ordering
0 references
iterative path ordering
0 references
Hydra battle
0 references
termination
0 references
Kruskal's tree theorem
0 references
Buchholz Hydra
0 references
0 references
