%0 Journal Article %1 journals/jsyml/BeckmannBF15 %A Beckmann, Arnold %A Buss, Samuel R. %A Friedman, Sy-David %D 2015 %J J. Symb. Log. %K dblp %N 3 %P 730-762 %T Safe Recursive Set Functions. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml80.html#BeckmannBF15 %V 80

@article{journals/jsyml/BeckmannBF15, added-at = {2015-08-13T00:00:00.000+0200}, author = {Beckmann, Arnold and Buss, Samuel R. and Friedman, Sy-David}, biburl = {https://www.bibsonomy.org/bibtex/2fd3da118ff8d584424b1437e0e6852d1/dblp}, ee = {http://dx.doi.org/10.1017/jsl.2015.26}, interhash = {63ec2d92806cad26e26e301d359d41c3}, intrahash = {fd3da118ff8d584424b1437e0e6852d1}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {730-762}, timestamp = {2015-08-14T11:33:30.000+0200}, title = {Safe Recursive Set Functions.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml80.html#BeckmannBF15}, volume = 80, year = 2015 }