Publication:2959916
From MaRDI portal
zbMath1355.03046MaRDI QIDQ2959916
Andreas Weiermann, L. N. Gordeev
Publication date: 10 February 2017
Full work available at URL: http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAM0124
asymptotics; phase transitions; proof theory; reverse mathematics; analytic combinatorics; well-partial-orderings; Higman-Kruskal-Friedman theorems
05A99: Enumerative combinatorics
03B30: Foundations of classical theories (including reverse mathematics)
03F20: Complexity of proofs
Related Items