%0
Generic
%T
The provably total NP search problems of weak second order bounded arithmetic
%A Kołodziejczyk, Leszek Aleksander
%A Nguyen, Phuong
%A Thapen, Neil
%I Elsevier BV
%@ 0168-0072
%K Logic
%D 2011
%C Elsevier BV
%U http://slubdd.de/katalog?TN_libero_mab2