凯斯，约翰;桑杰·贾恩;弗兰克·斯蒂芬 Kleene递推定理的有效性问题。 （英语） 兹比尔1393.68086 西奥。计算。科学。 733, 55-70 (2018).MSC公司：68问题32 03D20日 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人，Theor。计算。科学。733、55-70（2018；Zbl 1393.68086） 全文： 内政部
凯斯，约翰;桑杰·贾恩;弗兰克·斯蒂芬 Kleene递推定理的有效性问题。 （英语） Zbl 1419.68058号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。7734, 89-103 (2013).MSC公司：68问题32 03D20日 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人，Lect。注释计算。科学。7734，89-103（2013；Zbl 1419.68058） 全文： 内政部
凯斯，约翰;塞缪尔·莫利乌斯（Samuel E.III Moelius） 在建设性Scott子域中规划自我参考。 （英语） Zbl 1285.03053号 理论计算。系统。 51，第1期，22-49（2012）.MSC公司：03D20日 03D45号 06B35号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{S.E.Moelius III}，理论计算。系统。51，编号1，22-49（2012年；兹bl 1285.03053） 全文： 内政部