Talk slides.
Samuel R. Buss. "Provably Total Search Problems of Second-Order Bounded Arithmetic. Journes sur les Arithmetiques Faibles. JAF/MAMLS, CUNY, New York, July 7, 2016.
Download talk slides: PDF.
Back to Sam Buss's publications page.