Buss, Samuel R. (ed.); Iemhoff, Rosalie (ed.); Kohlenbach, Ulrich (ed.); Rathjen, Michael (ed.) Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8–14, 2020 (hybrid meeting). (English) Zbl 1473.00044 Oberwolfach Rep. 17, No. 4, 1693-1757 (2020). MSC: 00B05 00B25 03-06 03Fxx PDFBibTeX XMLCite \textit{S. R. Buss} (ed.) et al., Oberwolfach Rep. 17, No. 4, 1693--1757 (2020; Zbl 1473.00044) Full Text: DOI
Buss, Sam Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination. (English) Zbl 1315.00019 Stud. Log. 103, No. 3, 663-667 (2015). MSC: 00A17 03F05 03B25 03-02 PDFBibTeX XMLCite \textit{S. Buss}, Stud. Log. 103, No. 3, 663--667 (2015; Zbl 1315.00019) Full Text: DOI
Buss, Samuel R. Sharpened lower bounds for cut elimination. (English) Zbl 1270.03118 J. Symb. Log. 77, No. 2, 656-668 (2012). Reviewer: G. E. Mints (Stanford) MSC: 03F05 PDFBibTeX XMLCite \textit{S. R. Buss}, J. Symb. Log. 77, No. 2, 656--668 (2012; Zbl 1270.03118) Full Text: DOI Euclid Link
Beckmann, Arnold; Buss, Samuel R. Corrected upper bounds for free-cut elimination. (English) Zbl 1267.03053 Theor. Comput. Sci. 412, No. 39, 5433-5445 (2011). MSC: 03F05 PDFBibTeX XMLCite \textit{A. Beckmann} and \textit{S. R. Buss}, Theor. Comput. Sci. 412, No. 39, 5433--5445 (2011; Zbl 1267.03053) Full Text: DOI
Buss, Samuel R. Bounded arithmetic, proof complexity and two papers of Parikh. (English) Zbl 0924.03106 Ann. Pure Appl. Logic 96, No. 1-3, 43-55 (1999). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03F30 03F20 03F07 68Q15 PDFBibTeX XMLCite \textit{S. R. Buss}, Ann. Pure Appl. Logic 96, No. 1--3, 43--55 (1999; Zbl 0924.03106) Full Text: DOI