%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
Download citation