John Case, Sanjay Jain, Frank Stephan. Effectivity Questions for Kleene's Recursion Theorem. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, pages 89-103, Springer, 2013. [doi]
@inproceedings{CaseJS13,
title = {Effectivity Questions for Kleene's Recursion Theorem},
author = {John Case and Sanjay Jain and Frank Stephan},
year = {2013},
doi = {10.1007/978-3-642-35722-0_7},
url = {http://dx.doi.org/10.1007/978-3-642-35722-0_7},
researchr = {https://researchr.org/publication/CaseJS13},
cites = {0},
citedby = {0},
pages = {89-103},
booktitle = {Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
editor = {Sergei N. Artëmov and Anil Nerode},
volume = {7734},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-35722-0},
}