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

by
Arnold Beckmann
,
Samuel R. Buss

Citations: | 5 - 3 self |