×

机器归纳推理识别标准的比较。 (英语) Zbl 0524.03025号


MSC公司:

03日第10天 图灵机及其相关概念
2015年3月1日 计算复杂性(包括隐式计算复杂性)
03D20日 递归函数和关系、子递归层次结构
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[2] Barzdin,J.M.,《自动机和函数的预测》,(Freiman,C.P.,《信息处理》,第71卷,第1卷(1972年),荷兰北部:阿姆斯特丹北部),81-84·Zbl 0255.94031号
[3] Barzdin,J.M.,关于函数极限综合的两个定理,Latv。戈斯。大学。扎普。,210、82-88(1974),(俄语)
[4] 巴兹丁,J.M。;Freivald,R.V.,《关于一般递归函数的预测》,苏联数学。道克。,13, 1224-1228 (1972) ·兹比尔0267.02029
[5] 巴兹丁,J.M。;Freivald,R.V.,递归可枚举函数类的预测和极限综合,(Barzdin,J.M.,算法和程序理论,第1卷(1974),拉脱维亚州立大学:拉脱维亚国立大学里加),112-128,(俄语)
[6] 巴兹丁,J.M。;Podnieks,K.M.,《归纳推理理论》(Proc.Mathematical Foundations of Computer Science(1973),High Tatras:High Tatras Czechoslovakia),9-15,(俄语)
[7] 布鲁姆。;Blum,M.,《朝向归纳推理的数学理论,信息与控制》,第28期,第125-155页(1975年)·Zbl 0375.02028号
[8] Blum,M.,递归函数复杂性的机器相关理论,J.ACM,14,322-336(1967)·Zbl 0155.01503号
[9] Blum,M.,《关于机器的尺寸,信息和控制》,11,257-265(1967)·Zbl 0165.02102号
[10] 布雷纳德,W.S。;Landweber,L.H.,《计算理论》(1974),威利:威利纽约
[11] Case,J.,自动机生成的周期性,数学。系统理论,8,15-32(1974)·Zbl 0295.02019号
[12] 凯斯·J。;Lynes,C.,机器归纳推理和语言识别(初步报告)(程序。第九届自动化、语言和编程学术讨论会1982年7月,丹麦奥胡斯。程序。第九届自动化、语言和编程学术讨论会,丹麦奥胡斯,1982年7月,计算机科学讲稿,140(1982),施普林格:施普林格柏林),107-115
[14] 凯斯·J。;Smith,C.,机械化归纳推理的异常层次,Proc。第十届计算理论研讨会,314-319(1978),加利福尼亚州圣地亚哥·Zbl 1283.03033号
[15] Chen,K.,机器归纳推理中的权衡,博士论文(1981),纽约州立大学计算机科学系:纽约州立大学布法罗分校计算机科学系
[16] Chen,K.,《几乎最小规模程序归纳推理中的权衡》,《信息与控制》(1981年5月),发表在普渡大学计算机科学递归理论专题研讨会论文专刊上
[18] Friedberg,R.M.,递归枚举的三个定理,J.符号逻辑,23,309-316(1958)·Zbl 0088.01601
[19] Feldman,J.,《关于语法推理和复杂性的一些可判定性结果》,《信息与控制》,第20期,第244-262页(1972年)·Zbl 0242.68053号
[20] Freivald,R.V.,极小哥德尔数及其在极限中的识别,(计算机科学讲义,32(1975),施普林格:施普林格柏林),219-225·Zbl 0329.02016
[21] Gold,E.M.,《限额内的语言识别》,《信息与控制》,10447-474(1967)·Zbl 0259.68032号
[22] Kinber,E.,《归纳推理理论》,(《计算机科学讲义》,第56期(1977年),施普林格出版社:施普林格柏林出版社),435-440
[23] Knuth,D.,《计算机编程的艺术》,第1卷(1968年),Addison-Wesley:马萨诸塞州Addison-Whesley Reading·兹比尔0191.17903
[24] Klette,R。;Wiehagen,R.,《GDR数学家对归纳推理理论的研究——一项调查》,《信息科学》。,22, 149-169 (1980) ·兹比尔0459.03021
[25] Laudan,L.,《进展及其问题》(1977),加州大学出版社:加州大学伯克利分校出版社
[26] 麦克里特,E。;Meyer,A.,由计算边界定义的可计算函数类,Proc。ACM计算理论研讨会,79-88(1969)·Zbl 1283.03074号
[27] Minicoszi,E.,归纳推理中强同一性的一些自然性质,Theoret。计算。科学。,2, 345-360 (1976) ·Zbl 0373.68051号
[28] 马奇蒂,M。;Young,P.,《算法通论导论》(1978),北荷兰人:北荷兰纽约·兹伯利0376.68027
[29] 牛顿,I.(Cajori,F.,《自然哲学的数学原理》(1946),加州大学出版社:加州大学伯克利分校出版社),A.Motte译,1972年·Zbl 0127.00501号
[30] Podnieks,K.M.,《比较函数预测的各种概念》,第一部分,拉丁美洲。戈斯。Univ.Ućen大学。扎普。,210、68-81(1974),(俄语)·Zbl 0332.02045号
[31] 波普尔,K.,《科学发现的逻辑》(1968年),哈珀火炬图书:哈珀火把图书纽约
[32] Putnam,H.,《概率与构象》,《美国之音》,科学哲学论坛。美国之音,科学哲学、数学、物质和方法论坛,第1卷(1975年),美国信息局,伦敦
[33] 罗杰斯,H.,哥德尔部分递归函数数,符号逻辑,23,331-341(1958)·Zbl 0088.01602号
[34] Rogers,H.,递归函数和有效计算性理论(1967),McGraw-Hill:McGraw-Hill纽约·Zbl 0183.01401号
[35] 肖恩菲尔德(Shoenfield,J.),《不可解性程度》(Degrees of Unsolvability)(1971),北荷兰:北荷兰阿姆斯特丹·Zbl 0245.02037号
[37] 韦伯,J.(机制、心智主义和元数学(1980),D.Reidel:D.Reidel Boston)·Zbl 0454.03001号
[38] Wiehagen,R.,归纳推理理论中的表征问题,(计算机科学讲稿,62(1978),施普林格:施普林格-柏林),494-508
[39] Wiehagen,R。;Liepe,W.,递归函数可识别类的特征性质,电子。信息可用。Kyberinet公司。,12,421-438(1974),(德语)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。