帕特里克·库索特 关于用指称语义证明程序完全正确性的不动点/迭代/变量归纳原则。 （英语） Zbl 1502.68078号 Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12042, 3-18 (2020).MSC公司：68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}，莱克特。票据计算。科学。12042，3-18（2020；Zbl 1502.68078） 全文： 内政部
弗朗西斯科·兰扎托 抽象归纳不变量的可判定性和综合。 （英语） Zbl 07559486号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第30条，第21页（2020）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato}，LIPIcs——莱布尼茨国际程序。通知。171，第30条，第21页（2020；Zbl 07559486） 全文： 内政部 arXiv公司
格内西、斯特凡尼亚；迭戈·拉特拉；梅克·马西克 UML状态图内核的模块化语义及其对多图表和分支时间模型检查的扩展。 （英语） Zbl 1008.68074号 J.日志。阿尔盖布。程序。 51，第1期，第43-75页（2002年）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}等人，J.Log。阿尔盖布。程序。51，第1号，43--75（2002；Zbl 1008.68074） 全文： 内政部
克里斯托夫·沃尔特 关于用机器证明算法的终止性。 （英语） 兹伯利0938.68819 Artif公司。智力。 71，第1期，101-157（1994）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \文本{C.Walther}，Artif。智力。71，第1号，101--157（1994；Zbl 0938.68819） 全文： 内政部
瓦尔迪斯·贝津斯 关于合并软件扩展。 （英语） Zbl 0602.68016号 学报信息。 23, 607-619 (1986).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Berzins}，Acta Inf.23，607--619（1986；Zbl 0602.68016） 全文： 内政部
曼弗雷德·布罗伊 关于不确定性、并行性、通信和并发性的理论。 （英语） Zbl 0601.68022号 西奥。计算。科学。 45, 1-61 (1986).MSC公司：68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \提奥，textit{M.Broy}。计算。科学。45，1--61（1986；Zbl 0601.68022） 全文： 内政部
小白鼠。；M.杜蓬切尔。 可接受的功能编程系统。 （英语） Zbl 0571.68033号 学报信息。 23, 67-98 (1986).MSC公司：03天60 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Duponcheel}和\textit{M.Duponheel}.《信息学报》23，67-98（1986；Zbl 0571.68033） 全文： 内政部
特拉赫滕布罗特，M.B。 递归程序基于其原理图属性的一些等价转换。 （英语） Zbl 0541.68004号 信息处理。莱特。 18, 275-283 (1984).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Trakhtenbrot}，Inf.过程。莱特。18275-283（1984年；兹bl 0541.68004） 全文： 内政部
Edward K·布鲁姆。；弗朗西斯科·帕里西·普雷西奇 通过代数方法实现数据类型。 （英语） Zbl 0537.68026号 J.计算。系统。科学。 27, 304-330 (1983).MSC公司：68第05页 68号01 08A99号 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Blum}和\textit{F.Parisi-Prescce}，J.Compute。系统。科学。27304-330（1983年；Zbl 0537.68026） 全文： 内政部
特拉赫滕布罗特，M.B。 转换预先定义程序。 （英语。俄文原件） Zbl 0464.68013号 控制论 16, 221-228 (1980); 译自Kibernetika 1980，No.2，55-60（1980）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Trakhtenbrot}，控制论16，221--228（1980；Zbl 0464.68013）；译自Kibernetika 1980，No.2，55--60（1980） 全文： 内政部
尤先科，E.L。；I.V.卡萨基纳。 证明程序正确性的当前方法。 （英语。俄文原件） Zbl 0461.68020号 控制论 16832-861（1981年）; 译自Kibernetika 1980，第6期，37-62（1980）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Yushchenko}和\textit{I.V.Kasatkina}，控制论16，832--861（1980；Zbl 0461.68020）；译自Kibernetika 1980，No.6，37--62（1980） 全文： 内政部
伊夫·科德拉托夫 由有限数量的例子和LISP程序方案合成的一类函数。 （英语） Zbl 0427.68019号 国际期刊计算。通知。科学。 8, 489-521 (1979).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kodratoff}，国际计算机杂志。通知。科学。8、489--521（1979年；Zbl 0427.68019） 全文： 内政部
J.Strother摩尔 武内函数终止的机械证明。 （英语） Zbl 0411.68079号 信息处理。莱特。 9, 176-181 (1979).MSC公司：68吨15 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Moore}，Inf.过程。莱特。9、176--181（1979年；Zbl 0411.68079） 全文： 内政部
阿尼西莫夫。 内存上的递归转换器。 （英语。俄文原件） Zbl 0442.68042号 控制论 14, 823-834 (1979); 译自Kibernetika 1978，第6期，16-26（1978）。MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov}，《控制论》14，823--834（1978；Zbl 0442.68042）；译自Kibernetika 1978，No.6，16-26（1978） 全文： 内政部
约斯特·恩格尔弗里特；埃里克·梅内切·施密特 IO和OI。二、。 （英语） Zbl 0371.68020号 J.计算。系统。科学。 16, 67-99 (1978).MSC公司：65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛J.Engelfriet｝和\textit｛E.M.Schmidt｝，J.Comput。系统。科学。16、67-99（1978年；Zbl 0371.68020） 全文： 内政部
布鲁斯·罗素 关于continuation和stack语义之间的等价性。 （英语） Zbl 0382.68009号 学报信息。 8, 113-123 (1977).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit｛B.Russell｝，Acta Inf.8，113-123（1977年；兹bl 0382.6809） 全文： 内政部
约斯特·恩格尔弗里特；埃里克·梅内切·施密特 IO和OI。一、。 （英语） Zbl 0366.68053号 J.计算。系统。科学。 15, 328-353 (1977).MSC公司：65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛J.Engelfriet｝和\textit｛E.M.Schmidt｝，J.Comput。系统。科学。15、328--353（1977年；Zbl 0366.68053） 全文： 内政部
艾琳·盖萨里安 Les tests et leur caractérisation syntaxique测试与勒尔卡拉克特综合征。 （法语） Zbl 0364.68018号 RAIRO，Inf.Théor公司。 11, 133-156 (1977).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian}，RAIRO，Inf.Théor。11、133--156（1977年；Zbl 0364.68018） 全文： 欧洲DML
尼西姆·弗朗西兹；鲍里斯·克莱班斯基；阿米尔·普努利 递归计算中的回溯。 （英语） Zbl 0359.68023号 学报信息。 8, 125-144 (1977).MSC公司：68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人，《信息学报》8，125--144（1977；Zbl 0359.68023） 全文： 内政部
马克·B·特拉赫滕布罗特（Mark B.Trakhtenbrot）。 单调函数类之间的关系。 （英语） Zbl 0352.68052号 西奥。计算。科学。 2, 225-247 (1976).MSC公司：68号01 65年第68季度 03天60 03D20日 PDF格式BibTeX公司 XML格式引用 \文本{M.B.Trakhtenbrot}，Theor。计算。科学。225-247（1976年；Zbl 0352.68052） 全文： 内政部
德巴克，J.W。 重新访问了最少固定点。 （英语） Zbl 0348.68013号 西奥。计算。科学。 2, 155-181 (1976).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.W.De Bakker}，西奥。计算。科学。2155--181（1976年；Zbl 0348.68013） 全文： 内政部
布鲁诺·库塞尔；让·武伊勒明 完整性是递归模式等价的结果。 （英语） Zbl 0342.68008号 J.计算。系统。科学。 12, 179-197 (1976).MSC公司：65年第68季度 68号01 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Vuillemin}，J.Compute。系统。科学。12、179--197（1976年；Zbl 0342.68008） 全文： 内政部
德巴克尔，J.W。；米尔滕斯，L.G.L.T。 归纳断言方法的完备性。 （英语） Zbl 0353.68040号 J.计算。系统。科学。 11, 323-357 (1975).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{L.G.L.T.Meertens}，J.Compute。系统。科学。11323-357（1975年；兹bl 0353.68040） 全文： 内政部
巴里·罗森。 程序等价性和上下文无关文法。 （英语） Zbl 0315.68063号 J.计算。系统。科学。 11, 358-374 (1975).MSC公司：65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Rosen}，J.Compute（计算机）。系统。科学。11、358--374（1975年；Zbl 0315.68063） 全文： 内政部
巴里·罗森。 通过应用产品从图中导出图。 （英语） 兹比尔0299.68054 学报信息。 4, 337-357 (1975).MSC公司：65年第68季度 68瓦99 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Rosen}，Acta Inf.4，337--357（1975；Zbl 0299.68054） 全文： 内政部
哈里·刘易斯。 程序模式和一阶决策问题。 （英语） Zbl 0295.68013号 J.计算。系统。科学。 8, 71-83 (1974).MSC公司：68号01 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Lewis}，J.计算。系统。科学。8、71——83（1974年；Zbl 0295.68013） 全文： 内政部
卡拉·西蒙 Un-modello di\（\lambda\）-calcolo fortemente等价于agli schemi ricorsivi。 （意大利语） Zbl 0295.68012号 Calcolo公司 11, 111-125 (1974).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.Simone}，Calcolo 11，111--125（1974；Zbl 0295.68012） 全文： 内政部
德米歇利斯，G。 Sulla computazione di funzioni ricorsive公司。 （意大利语） Zbl 0282.68024号 Calcolo公司 11, 17-31 (1974).MSC公司：65年第68季度 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.De Michelis}，加尔各洛11，17-31（1974；Zbl 0282.68024） 全文： 内政部