%0 Journal Article %1 journals/logcom/BaratellaB98 %A Baratella, Stefano %A Berardi, Stefano %D 1998 %J J. Log. Comput. %K dblp %N 6 %P 839-854 %T Approximating Classical Theorems. %U http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#BaratellaB98 %V 8

@article{journals/logcom/BaratellaB98, added-at = {2019-09-25T00:00:00.000+0200}, author = {Baratella, Stefano and Berardi, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/2c517e17ee1097a939fa6ada61e3a0015/dblp}, ee = {https://doi.org/10.1093/logcom/8.6.839}, interhash = {292eba521cf708c235520797cd886ea0}, intrahash = {c517e17ee1097a939fa6ada61e3a0015}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {839-854}, timestamp = {2019-09-26T12:25:49.000+0200}, title = {Approximating Classical Theorems.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#BaratellaB98}, volume = 8, year = 1998 }