scientific article
From MaRDI portal
Publication:2959916
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
asymptoticsphase transitionsproof theoryreverse mathematicsanalytic combinatoricswell-partial-orderingsHigman-Kruskal-Friedman theorems
Enumerative combinatorics (05A99) Foundations of classical theories (including reverse mathematics) (03B30) Complexity of proofs (03F20)
Related Items (1)
This page was built for publication: