凯斯,约翰;桑杰·贾恩;弗兰克·斯蒂芬 Kleene递推定理的有效性问题。 (英语) Zbl 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;Zbl 1285.03053) 全文: 内政部
凯斯,约翰;塞缪尔·莫利乌斯(Samuel E.III Moelius) 从积极的数据中优化语言学习。 (英语) Zbl 1235.68091号 Inf.计算。 209,第10号,1293-1311(2011).MSC公司:第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{S.E.Moelius III},Inf.Compute。209,第10号,1293--1311(2011;Zbl 1235.68091) 全文: 内政部
凯斯,约翰;塞缪尔·莫利乌斯(Samuel E.Moelius)。 在建设性Scott子域中规划自我参考。 (英语) 兹比尔1266.03051 Ambos Spies,Klaus(编辑)等人,《数学理论与计算实践》。2009年7月19日至24日,德国海德堡,第五届欧洲可计算性会议,CiE 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03072-7/pbk)。计算机科学讲座笔记5635,89-98(2009)。MSC公司:03D20日 03D45号 06B35号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{S.E.Moelius},莱克特。注释计算。科学。5635、89--98(2009年;Zbl 1266.03051) 全文: 内政部
凯斯,约翰;塞缪尔·莫利乌斯(Samuel E.III Moelius) 描述允许程序自我引用的编程系统的特征。 (英语) 兹比尔1187.68218 理论计算。系统。 45,第4期,756-772(2009).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{S.E.Moelius III},理论计算。系统。45,第4号,756--772(2009;Zbl 1187.68218) 全文: 内政部
安德烈斯·安巴尼斯;凯斯,约翰;桑杰·贾恩;曼达扬·苏拉吉 归纳推理的简约层次。 (英语) Zbl 1068.68071号 J.塞姆。日志。 69,第1期,287-327(2004).MSC公司:第68季度32 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Ambainis}等人,J.Symb。日志。69,第1号,287--327(2004;Zbl 1068.68071) 全文: 内政部
凯斯,约翰;桑杰·贾恩;弗兰克·斯蒂芬;罗尔夫·维哈根 稳健的学习——富人和穷人。 (英语) Zbl 1076.68036号 J.计算。系统。科学。 69,第2期,123-165(2004).MSC公司:第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,J.Compute。系统。科学。69,No.2,123--165(2004;Zbl 1076.68036) 全文: 内政部
凯斯,约翰;桑杰·贾恩;曼达扬·苏拉吉 假设空间中的控制结构:对学习的影响。 (英语) Zbl 0984.68211号 西奥。计算。科学。 270,第1-2号,287-308(2002).MSC公司:68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,Theor。计算。科学。270,编号1--2,287--308(2002;Zbl 0984.68211) 全文: 内政部
凯斯,J。;陈,K.-J。;桑杰·贾恩 通用学习成本。 (英语) Zbl 0972.68093号 西奥。计算。科学。 259,编号1-2,455-473(2001).MSC公司:第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,Theor。计算。科学。259,编号1--2,455--473(2001;Zbl 0972.68093) 全文: 内政部
Ganesh R.巴利加。;凯斯,约翰;桑杰·贾恩 语言学习者的综合。 (英语) Zbl 1045.68571号 Inf.计算。 152,第1期,16-43页(1999年).MSC公司:第68季度32 05年3月 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Baliga}等人,《信息计算》。152,第1号,16-43(1999年;兹bl 1045.68571) 全文: 内政部
凯斯,约翰;马克·A·福尔克。 最大机器可学习类。 (英语) Zbl 0938.68084号 J.计算。系统。科学。 58,第1期,211-214(1999).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{M.A.Fulk},J.Compute。系统。科学。58,第1号,211--214(1999;Zbl 0938.68084) 全文: 内政部
凯斯,约翰;Efim金伯;阿伦·沙尔马;弗兰克·斯蒂芬 关于可计算语言的分类。 (英语) Zbl 1498.68133号 Reischuk,Rüdiger(编辑)等人,STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日,德国吕贝克。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1200, 225-236 (1997).MSC公司:65年第68季度 05年3月 03D28号 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,Lect。注释计算。科学。1200、225——236(1997年;Zbl 1498.68133) 全文: 内政部
凯斯,约翰;桑杰·贾恩;阿伦·沙尔马 机器感应没有革命性的范式转变。 (英语) Zbl 1527.68098号 Jantke,Klaus P.(编辑)等人,《算法学习理论》。1995年10月18日至20日,第六届国际研讨会,ALT’95,日本福冈。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。997, 153-168 (1995).MSC公司:第68季度32 03D20日 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,Lect。注释计算。科学。997153--168(1995年;Zbl 1527.68098) 全文: 内政部
凯斯,约翰;桑杰·贾恩;Ngo Manguelle,苏珊娜 波普尔和可靠机器对归纳推理的改进。 (英语) Zbl 0819.68052号 凯贝内提卡 30,第1期,23-52(1994年).MSC公司:2005年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,Kybernetika 30,No.1,23-52(1994;Zbl 0819.68052) 全文: 欧洲DML 链接
凯斯,约翰;Dayanand S.拉詹。;阿尼尔·M·申德。 空间/运动域和晶格计算机。 (英语) Zbl 0803.68099号 J.实验理论。Artif公司。智力。 6,第1期,17-40(1994).MSC公司:68T01型 68T20型 68M10个 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,J.Exp.Theor。Artif公司。智力。6,编号1,17--40(1994;Zbl 0803.68099) 全文: 内政部
加内什·巴利加;凯斯,约翰 可学习性:可接受的、有限的和超简单的语言。 (英语) Zbl 1418.68109号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。700, 289-300 (1993).MSC公司:第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{G.Baliga}和\textit{J.Case},莱克特。注释计算。科学。700、289--300(1993年;Zbl 1418.68109) 全文: 内政部