Samuel R. Buss

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Arnold Beckmann

> Home > Persons > Samuel R. Buss

Publications

2019
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BeckmannB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BeckmannB19
Arnold Beckmann, Sam Buss:
On transformations of constant depth propositional proofs. Ann. Pure Appl. Log. 170(10): 1176-1187 (2019)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/computability/BeckmannBFMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computability/BeckmannBFMT19
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen:
Feasible set functions have small circuits. Comput. 8(1): 67-98 (2019)
2017
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BeckmannB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BeckmannB17
Arnold Beckmann, Sam Buss:
The NP Search Problems of Frege and Extended Frege Proofs. ACM Trans. Comput. Log. 18(2): 11:1-11:19 (2017)
2016
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BeckmannBFMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BeckmannBFMT16
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen:
Cobham recursive set functions. Ann. Pure Appl. Log. 167(3): 335-369 (2016)
2015
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BeckmannBF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BeckmannBF15
Arnold Beckmann, Samuel R. Buss, Sy-David Friedman:
Safe Recursive Set Functions. J. Symb. Log. 80(3): 730-762 (2015)
2014
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BeckmannB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BeckmannB14
Arnold Beckmann, Samuel R. Buss:
Improved witnessing and local improvement principles for second-order bounded arithmetic. ACM Trans. Comput. Log. 15(1): 2:1-2:35 (2014)
2012
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ambos-SpiesBBL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ambos-SpiesBBL12
Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe:
Computability in Europe 2009. Ann. Pure Appl. Log. 163(5): 483-484 (2012)
2011
[j43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BeckmannB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BeckmannB11
Arnold Beckmann, Samuel R. Buss:
Corrected upper bounds for free-cut elimination. Theor. Comput. Sci. 412(39): 5433-5445 (2011)
2009
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/jml/BeckmannB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jml/BeckmannB09
Arnold Beckmann, Samuel R. Buss:
Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic. J. Math. Log. 9(1) (2009)
2005
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BeckmannB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BeckmannB05
Arnold Beckmann, Samuel R. Buss:
Separation results for the size of constant-depth propositional proofs. Ann. Pure Appl. Log. 136(1-2): 30-55 (2005)
2003
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BeckmannPB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BeckmannPB03
Arnold Beckmann, Chris Pollett, Samuel R. Buss:
Ordinal notations and well-orderings in bounded arithmetic. Ann. Pure Appl. Log. 120(1-3): 197-223 (2003)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BeckmannBP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BeckmannBP03
Arnold Beckmann, Samuel R. Buss, Chris Pollett:
Erratum to "Ordinal notations and well-orderings in bounded arithmetic" [Annals of Pure and Applied Logic 120 (2003) 197-223]. Ann. Pure Appl. Log. 123(1-3): 291- (2003)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.