Effectivity Questions for Kleene's Recursion Theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'John Case' in GoogleThis author has not been identified. Look up 'Sanjay Jain' in GoogleThis author has not been identified. Look up 'Frank Stephan' in Google

runs on WebDSL