Trakhtenbrot，学士。 算法逻辑的完整性。 （英语。俄文原件） Zbl 0459.68002号 控制论 15, 160-166 (1979); 译自《Kibernetika 1979》，第2期，第6-11页（1979年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司： 68瓦99 计算机科学中的算法 03B60号 其他非经典逻辑 68号01 软件理论的一般主题 68问题65 抽象数据类型；代数规范 关键词：程序设计语言;过程调用;不确定性;模式 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Trakhtenbrot}，《控制论》第15卷，第160-166页（1979年；Zbl 0459.68002）；译自Kibernetika 1979，No.2，6--11（1979） 全文： 内政部 参考文献： [1] D.Harel、A.Meyer和V.Pratt？程序逻辑的可计算性和完整性，？第九届ACM交响乐会议录。计算理论（1977）。 [2] D.哈雷尔、A.普努利和J.斯塔维？证明递归程序推论的完整公理系统，？第九届ACM交响乐会议录。计算理论（1977）。 [3] K.Apt和J.W.de Bakker？指称语义练习，？计算机科学讲稿，第九届ACM交响乐会论文集。计算理论（1977）。 [4] C.A.R.霍尔？程序和参数。公理方法，？数学讲稿，算法语言语义研讨会，188（1971）·Zbl 0221.68020号 [5] D.哈雷？程序逻辑、公理化和描述性能力，？《技术报告》，麻省理工学院，1978年5月。 [6] R.Cartwright和D.Oppen？霍尔逻辑中的无限制过程调用，？第五届美国计算机学会编程语言原理年会会议记录（1978年）。 [7] E.M.Clarke，编程语言构造，对于它，不可能获得好的类Hoare公理系统，？ACM第四交响曲会议录。《程序设计语言原理》，1977年1月·Zbl 0388.68008号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。