2 search results - page 1 / 1 » A Characterisation of Multiply Recursive Functions with Higm... |
IANDC
2002
13 years 4 months ago
2002
CORR
2011
Springer
12 years 11 months ago
2011
Springer
We develop a new analysis for the length of controlled bad sequences in well-quasi-orderings based on Higman’s Lemma. This leads to tight multiply-recursive upper bounds that re...