%0 Journal Article %1 journals/ndjfl/Anderson68 %A Anderson, Michael %D 1968 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 305-312 %T Approximation to a decision procedure for the halting problem. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl9.html#Anderson68 %V 9

@article{journals/ndjfl/Anderson68, added-at = {2020-05-21T00:00:00.000+0200}, author = {Anderson, Michael}, biburl = {https://www.bibsonomy.org/bibtex/26ba4b257163bb2f7af3c49cbd26bd0b8/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093893516}, interhash = {0e0f392b6602d4381ee99e11010fa73f}, intrahash = {6ba4b257163bb2f7af3c49cbd26bd0b8}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {305-312}, timestamp = {2020-05-23T12:15:57.000+0200}, title = {Approximation to a decision procedure for the halting problem.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl9.html#Anderson68}, volume = 9, year = 1968 }