%0 Journal Article %1 jerabek %A Jerábek, Emil %D 2011 %J Annals of Pure and Applied Logic %K algorithm circuit sorting.network %N 4 %P 341--355 %R 10.1016/j.apal.2010.10.002 %T A sorting network in bounded arithmetic %V 162

@article{jerabek, added-at = {2017-02-01T08:43:47.000+0100}, author = {Je\v{r}\'{a}bek, Emil}, biburl = {https://www.bibsonomy.org/bibtex/2f32df65c53861e630600567a3f3580c5/ytyoun}, doi = {10.1016/j.apal.2010.10.002}, interhash = {ccf3f316a98f16948fa24b944e8648d8}, intrahash = {f32df65c53861e630600567a3f3580c5}, issn = {0168-0072}, journal = {Annals of Pure and Applied Logic}, keywords = {algorithm circuit sorting.network}, number = 4, pages = {341--355}, timestamp = {2017-02-01T08:43:47.000+0100}, title = {A sorting network in bounded arithmetic}, volume = 162, year = 2011 }