%0 Journal Article %1 journals/apal/BergerBS02 %A Berger, Ulrich %A Buchholz, Wilfried %A Schwichtenberg, Helmut %D 2002 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 3-25 %T Refined program extraction form classical proofs. %U http://dblp.uni-trier.de/db/journals/apal/apal114.html#BergerBS02 %V 114

@article{journals/apal/BergerBS02, added-at = {2020-02-21T00:00:00.000+0100}, author = {Berger, Ulrich and Buchholz, Wilfried and Schwichtenberg, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/238d50bac81d7ffca6dd400e046a17968/dblp}, ee = {https://doi.org/10.1016/S0168-0072(01)00073-2}, interhash = {cb8f8db3641a7dbf0e279410e340bbcd}, intrahash = {38d50bac81d7ffca6dd400e046a17968}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {3-25}, timestamp = {2020-02-22T12:46:32.000+0100}, title = {Refined program extraction form classical proofs.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal114.html#BergerBS02}, volume = 114, year = 2002 }