2 search results - page 1 / 1 » A Characterisation of Multiply Recursive Functions with Higm... |
IANDC
2002
15 years 2 months ago
2002
CORR
2011
Springer
14 years 9 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...