Fast Programs for Initial Segments and Polynomial Time Computation in Weak Models of Arithmetic (Preliminary Abstract)

Deborah Joseph, Paul Young

Browse the full STOC paper archive.