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]
No references recorded for this publication.
No citations of this publication recorded.