No label defined (Q3773882)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1987
0 references
impredicative methods
0 references
minor inclusion
0 references
minimal bad sequence
0 references
well-quasi- ordering
0 references
Friedman's tree theorem
0 references
finite forms of the graph minor theorem
0 references
