%0 Journal Article %1 journals/sLogica/KroonB90 %A Kroon, F. W. %A Burkhard, Walter A. %D 1990 %J Stud Logica %K dblp %N 1 %P 133-149 %T On a complexity-based way of constructivizing the recursive functions. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica49.html#KroonB90 %V 49

@article{journals/sLogica/KroonB90, added-at = {2020-09-01T00:00:00.000+0200}, author = {Kroon, F. W. and Burkhard, Walter A.}, biburl = {https://www.bibsonomy.org/bibtex/2b83a40cb1a9fff47053556f03a474300/dblp}, ee = {https://doi.org/10.1007/BF00401559}, interhash = {89a20b11497be821d0d59090d75df2b3}, intrahash = {b83a40cb1a9fff47053556f03a474300}, journal = {Stud Logica}, keywords = {dblp}, number = 1, pages = {133-149}, timestamp = {2020-09-09T12:38:20.000+0200}, title = {On a complexity-based way of constructivizing the recursive functions.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica49.html#KroonB90}, volume = 49, year = 1990 }