%0 Journal Article %1 journals/apal/GerhardyK06 %A Gerhardy, Philipp %A Kohlenbach, Ulrich %D 2006 %J Ann. Pure Appl. Log. %K dblp %N 1-2 %P 89-107 %T Strongly uniform bounds from semi-constructive proofs. %U http://dblp.uni-trier.de/db/journals/apal/apal141.html#GerhardyK06 %V 141

@article{journals/apal/GerhardyK06, added-at = {2020-02-21T00:00:00.000+0100}, author = {Gerhardy, Philipp and Kohlenbach, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/233ea08fa5334876d74c40fc853e8320c/dblp}, ee = {https://doi.org/10.1016/j.apal.2005.10.003}, interhash = {ba99d2239fb940e2f2011a954ef234ec}, intrahash = {33ea08fa5334876d74c40fc853e8320c}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-2}, pages = {89-107}, timestamp = {2020-02-22T12:46:15.000+0100}, title = {Strongly uniform bounds from semi-constructive proofs.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal141.html#GerhardyK06}, volume = 141, year = 2006 }