%0 Journal Article
%A Gordeev, Lev
%A Weiermann, Andreas
%T Phase transitions in Proof Theory
%J Discrete mathematics & theoretical computer science
%D 2010
%V DMTCS Proceedings vol. AM, 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10)
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2771/
%R 10.46298/dmtcs.2771
%G en
%F DMTCS_2010_special_258_a7