Letichevskij,A.A。 关于在程序中完成不变等式搜索的可能性。 (英语。俄文原件) Zbl 0691.68056号 苏联。数学。,多克。 37,第2号,559-561(1988); Dokl翻译。阿卡德。Nauk SSSR 299,第6期,1307-1309(1988年)。MSC公司:99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevskij},苏联。数学。,多克。37,No.2,559--561(1988;Zbl 0691.68056);Dokl翻译。阿卡德。Nauk SSSR 299,No.6,1307--1309(1988)
M.I.卡诺维奇。 高效的逻辑算法分析和综合依赖关系。 (英语。俄文原件) Zbl 0606.68040号 苏联。数学。,多克。 32, 867-871 (1985); Dokl翻译。阿卡德。Nauk SSSR 285,1301-1305(1985)。 审核人:E.克努特 MSC公司:65年第68季度 68第20页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Kanovich},Sov(苏联)。数学。,多克。32867--871(1985;Zbl 0606.68040);Dokl翻译。阿卡德。Nauk SSSR 2851301--1305(1985)
布尔昂科夫,M.A。 在具有严格分区的有限定义内存上的程序的混合计算。 (英语。俄文原件) Zbl 0604.68014号 苏联。数学。,多克。 32, 807-811 (1985); Dokl翻译。阿卡德。Nauk SSSR 285,1033-1037(1985)。MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Bul'onkov},苏联。数学。,多克。32807--811(1985;Zbl 0604.68014);Dokl翻译。阿卡德。瑙克SSSR 285、1033——1037(1985年)
A.P.斯托尔布什金。 论程序逻辑中不确定性的表达能力。 (英语。俄文原件) Zbl 0595.03018号 苏联。数学。,多克。 第30页,第47-49页(1984年); Dokl翻译。阿卡德。Nauk SSSR 277,51-53(1984)。MSC公司:03B60号 03B45号 60年第68季度 第68季度第65季度 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Stolboushkin},苏联。数学。,多克。30、47-49(1984年;Zbl 0595.03018);Dokl翻译。阿卡德。Nauk SSSR诺克SSSR 277,51-53(1984)
阿布拉莫夫,S.A。 霍尔体系不完整性的本质。 (英语。俄文原件) Zbl 0587.68013号 苏联。数学。,多克。 29, 83-84 (1984); Dokl翻译。阿卡德。Nauk SSSR 2747777-778(1984)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Abramov},Sov(苏联)。数学。,多克。29、83——84(1984年;Zbl 0587.68013);Dokl翻译。阿卡德。Nauk SSSR诺克SSSR 274,777--778(1984)
于尔肖夫(Yu Ershov)。L。 可容许集上的动态逻辑。 (英语。俄文原件) Zbl 0576.68009号 苏联。数学。,多克。 28, 739-742 (1983); Dokl翻译。阿卡德。Nauk SSSR 273,1045-1048(1983)。 审核人:李翔 MSC公司:第68季度第65季度 68第05页 03C70号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov},Sov(苏联)。数学。,多克。28,739-742(1983年;兹bl 0576.68009);Dokl翻译。阿卡德。Nauk SSSR诺克SSSR 273,1045-1048(1983)
Mints公司,G.E。;丘古,Eh.Kh。 结构综合规则的完整性。 (英语。俄文原件) 兹伯利0517.68058 苏联。数学。,多克。 25, 343-346 (1982); Dokl翻译。阿卡德。Nauk SSSR诺克SSSR 263291-295(1982)。MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints}和\textit{Eh.Kh.Tyugu},苏联。数学。,多克。25343--346(1982;Zbl 0517.68058);Dokl翻译。阿卡德。Nauk SSSR诺克SSSR 263,291--295(1982)
阿布拉莫夫,S.A。 关于中间断言方法的备注。 (英语。俄文原件) Zbl 0478.68019号 苏联。数学。,多克。 24, 91-93 (1981); Dokl翻译。阿卡德。Nauk SSSR 259,521-523(1981)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Abramov},Sov(苏联)。数学。,多克。24、91——93(1981年;Zbl 0478.68019);Dokl翻译。阿卡德。诺克SSSR 259、521--523(1981)
图佐夫,V.A。 关于描述编程语言的方法。 (英语。俄文原件) Zbl 0446.68004号 苏联。数学。,多克。 2170-174年(1980年); Dokl翻译。阿卡德。Nauk SSSR 250,170-174(1980)。MSC公司:68号01 第68季度第65季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Tuzov},苏联。数学。,多克。21170--174(1980年;Zbl 0446.68004);Dokl翻译。阿卡德。Nauk SSSR 250、170--174(1980)
埃尔肖夫,A.P。 递归程序混合计算的组织。 (英语。俄文原件) Zbl 0456.68019号 苏联。数学。,多克。 20, 382-386 (1979); Dokl翻译。阿卡德。Nauk SSSR 2451041-1044(1979)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Ershov},Sov(苏联)。数学。,多克。20、382--386(1979年;Zbl 0456.68019);Dokl翻译。阿卡德。诺克SSSR 245,1041--1044(1979)
塞梅诺夫,A.L。 算法代数系统的一些算法问题。 (英语。俄文原件) Zbl 0402.68036号 苏联。数学。,多克。 19, 490-493 (1978); Dokl翻译。阿卡德。诺克SSSR 2391063-1066(1978)。MSC公司:第68季度第65季度 60年第68季度 03B25号 68瓦99 08A99号 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Semenov},苏联。数学。,多克。19、490--493(1978;Zbl 0402.68036);Dokl翻译。阿卡德。诺克SSSR 2391063-1066(1978)
Nepevoda,N.N。 高级算法语言的自然演绎规则和运算符之间的关系。 (英语。俄文原件) Zbl 0392.68004号 苏联。数学。,多克。 19, 360-363 (1978); Dokl翻译。阿卡德。瑙克SSSR 239526-529(1978年)。MSC公司:68号01 第68季度第65季度 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Nepevoda},苏联。数学。,多克。19、360-363(1978年;Zbl 0392.68004);Dokl翻译。阿卡德。诺克SSSR 239,526--529(1978)
Yu Zhuravlev。一、。 代数中的极值算法优于错误算法。 (英语。俄文原件) Zbl 0401.68010号 苏联。数学。,多克。 18(1977)、1443-1445(1978); Dokl翻译。阿卡德。诺克SSSR 237,509-512(1977)。MSC公司:第68季度第65季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{Yu.I.Zhuravlev},苏联。数学。,多克。18、1443-1445(1977年;Zbl 0401.68010);Dokl翻译。阿卡德。诺克SSSR 237,509--512(1977)