%0 Journal Article %1 journals/ndjfl/McCarthyS87 %A McCarthy, Timothy G. %A Shapiro, Stewart %D 1987 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 520-535 %T Turing projectability. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl28.html#McCarthyS87 %V 28

@article{journals/ndjfl/McCarthyS87, added-at = {2020-05-21T00:00:00.000+0200}, author = {McCarthy, Timothy G. and Shapiro, Stewart}, biburl = {https://www.bibsonomy.org/bibtex/22791c551a5a0cf2611f327ddb240a33d/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093637647}, interhash = {366d579631b5c19463da584ad47d5811}, intrahash = {2791c551a5a0cf2611f327ddb240a33d}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {520-535}, timestamp = {2020-05-23T12:16:48.000+0200}, title = {Turing projectability.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl28.html#McCarthyS87}, volume = 28, year = 1987 }