Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations (2009)

by Arnold Beckmann , Samuel R. Buss
Citations:5 - 3 self