%0 Journal Article %1 journals/apal/KolodziejczykNT11 %A Kolodziejczyk, Leszek Aleksander %A Nguyen, Phuong %A Thapen, Neil %D 2011 %J Ann. Pure Appl. Log. %K dblp %N 6 %P 419-446 %T The provably total NP search problems of weak second order bounded arithmetic. %U http://dblp.uni-trier.de/db/journals/apal/apal162.html#KolodziejczykNT11 %V 162

@article{journals/apal/KolodziejczykNT11, added-at = {2020-02-21T00:00:00.000+0100}, author = {Kolodziejczyk, Leszek Aleksander and Nguyen, Phuong and Thapen, Neil}, biburl = {https://www.bibsonomy.org/bibtex/2d0f5497066f85b6a18d3743c03c95e4a/dblp}, ee = {https://doi.org/10.1016/j.apal.2010.12.002}, interhash = {9f13f4386397b41eb5b9a8b614b7139b}, intrahash = {d0f5497066f85b6a18d3743c03c95e4a}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 6, pages = {419-446}, timestamp = {2020-02-22T12:46:26.000+0100}, title = {The provably total NP search problems of weak second order bounded arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal162.html#KolodziejczykNT11}, volume = 162, year = 2011 }