P.I.安东。;A.Yu Doroshenko。;伊万尼科，P.A。;O.A.亚森科。 Glushkov算法代数和自动并行计算设计。 （英语。乌克兰原文） Zbl 07765729号 赛博。系统。分析。 59，第5期，687-697（2023）; Kibern的翻译。修女。分析。59，第5期，第3-15页（2023年）。MSC公司：68周01 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛P.I.Andon｝等人，Cybern。系统。分析。59，编号5，687--697（2023；Zbl 07765729）；翻译自Kibern。修女。分析。59，第5号，第3-15号（2023年） 全文： 内政部
波戈里利，S。;斯林科，M。 异构体系结构中应用程序设计的建模和验证方法。 （英语。俄文原件） Zbl 1496.68038号 赛博。系统。分析。 56，第4号，683-688（2020）; 翻译自Kibern。修女。分析。2020年，第4期，196-202（2020）。MSC公司：2007年7月68日 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Pogoryy}和\textit{M.Slynko}，Cybern。系统。分析。56，第4号，683--688（2020；Zbl 1496.68038）；翻译自Kibern。修女。分析。2020年，第4期，196--202（2020） 全文： 内政部
Chebotarev，A.N。 一阶逻辑语言LP和LF中指定的（Sigma）-自动机的合成。 （英语。俄文原件） Zbl 1400.68122号 赛博。系统。分析。 54，第4期，527-540（2018）; 翻译自Kibern。修女。分析。2018年，第4期，第16-31页（2018年）。MSC公司：60年第68季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。54，No.4，527--540（2018；Zbl 1400.68122）；Kibern的翻译。修女。分析。2018年第4、16-31号（2018） 全文： 内政部
斯科贝列夫，V.V。;斯科贝列夫，V.G。 混合自动机分析的一些问题。 （英语。俄文原件） Zbl 1445.68127号 赛博。系统。分析。 54，第4期，517-526（2018）; 翻译自Kibern。修女。分析。2018年第4期，第3-15页（2018年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev}和\textit{V.G.Skobelev}，Cybern。系统。分析。54，No.4，517--526（2018；Zbl 1445.68127）；翻译自Kibern。修女。分析。2018年第4号、第3--15号（2018） 全文： 内政部
斯科贝列夫，V.V。 具有隐藏转换的属性转换系统。 （英语。俄文原件） Zbl 1400.68127号 赛博。系统。分析。 53，第4期，524-534（2017）; 翻译自Kibern。修女。分析。2017年，第4期，37-49（2017）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev}，Cybern。系统。分析。53，第4号，524--534（2017；Zbl 1400.68127）；Kibern的翻译。修女。分析。2017年，第4期，第37-49号（2017） 全文： 内政部
Chebotarev，A.N。 一元一阶逻辑（MFO）的一些子集用于（Sigma）-自动机的规范和合成。 （英语。俄文原件） 兹比尔1400.68100 赛博。系统。分析。 53，第4期，512-523（2017）; 翻译自Kibern。修女。分析。2017年，第4期，22-36（2017）。MSC公司：65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。53，第4号，512--523（2017；Zbl 1400.68100）；翻译自Kibern。修女。分析。2017年第4号、第22号——第36号（2017年） 全文： 内政部
Chebotarev，A.N。 一阶逻辑语言LP和LF中指定的（Sigma）-自动机的合成问题。 （英语。俄文原件） Zbl 1380.68271号 赛博。系统。分析。 53，第5号，675-683（2017）; 翻译自Kibern。修女。分析。2017年，第5期，22-33（2017）。MSC公司：60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。53，第5号，675--683（2017；Zbl 1380.68271）；翻译自Kibern。修女。分析。2017年第5号、第22-33号（2017） 全文： 内政部
Chebotarev，A.N。 语言L中表示的自动机规范的协调。 （英语。俄文原件） Zbl 1392.68215号 赛博。系统。分析。 52，第3号，341-350（2016）; 翻译自Kibern。修女。分析。2016年第3期，第3-15页（2016）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。52，第3号，341--350（2016；Zbl 1392.68215）；翻译自Kibern。修女。分析。2016年，第3期，第3-15期（2016年） 全文： 内政部
利沃夫，M.S。 线性定迭代循环的分析。 （英语。俄文原件） Zbl 1356.68045号 赛博。系统。分析。 52，编号113-126（2016）; 翻译自Kibern。修女。分析。2016年第1期，第122-136页（2016年）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.利沃夫}，Cybern。系统。分析。52，No.1，113--126（2016；Zbl 1356.68045）；翻译自Kibern。修女。分析。2016年第1期，第122--136号（2016） 全文： 内政部
F.I.安东。;多罗申科，A.E。;Beketov，A.G。;艾夫切夫，V.A。;E.A.Yatsenko。 基于算法代数的并行编程自动化软件工具。 （英语。俄文原件） Zbl 1327.68077号 赛博。系统。分析。 51，第1期，142-149（2015）; 翻译自Kibern。修女。分析。2015年第1期，第162-170页（2015年）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.I.Andon}等人，Cybern。系统。分析。51，No.1，142--149（2015；Zbl 1327.68077）；翻译自Kibern。修女。分析。2015年，第1号，第162--170页（2015年） 全文： 内政部
利沃夫，M.S。 证明线性回路线性不等式不变性的一种方法。 （英语。俄文原件） Zbl 1323.68381号 赛博。系统。分析。 50，编号4643-648（2014）; 翻译自Kibern。修女。分析。第4期，180-187（2014）。MSC公司：60年第68季度 15A39型 68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.利沃夫}，Cybern。系统。分析。50，第4号，643--648（2014；Zbl 1323.68381）；翻译自Kibern。修女。分析。第4期，180--187（2014） 全文： 内政部
Kryvyi，S.L。;O.M.马克西米茨。 程序验证：最新技术、问题和结果。二、。 （英语。俄文原件） Zbl 1371.68178号 赛博。系统。分析。 50，第1期，8-16（2014）; 翻译自Kibern。修女。分析。2014年，第1期，11-20（2014）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}和\textit{O.M.Maksymets}，Cybern。系统。分析。50、第1号、第8--16号（2014；Zbl 1371.68178）；翻译自Kibern。修女。分析。2014年第1期、第11--20号（2014） 全文： 内政部
Kryvyi，S.L。;O.M.马克西米茨。 程序验证：最新技术、问题和结果。一、。 （英语。俄文原件） Zbl 1371.68179号 赛博。系统。分析。 49，第6期，805-814（2013）; Kibern的翻译。修女。分析。2013年第6期，第3-14页（2013年）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}和\textit{O.M.Maksymets}，Cybern。系统。分析。49，No.6，805--814（2013；Zbl 1371.68179）；翻译自Kibern。修女。分析。2013年第6号、第3-4号（2013） 全文： 内政部
Chebotarev，A.N。 反应式算法开发的组合方法。 （英语。俄文原件） Zbl 1371.68177号 赛博。系统。分析。 49，第5期，652-662（2013）; 翻译自Kibern。修女。分析。2013年，第5期，14-27（2013）。MSC公司：60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。49，No.5，652--662（2013；Zbl 1371.68177）；翻译自Kibern。修女。分析。2013年第5期、第14--27号（2013） 全文： 内政部
Chebotarev，A.N。 对有限状态机的状态进行虚拟分析，该状态机是从语言（L^*）转换为语言（L）的规范合成的。 （英语。俄文原件） Zbl 1298.68126号 赛博。系统。分析。 49，第1期，第1-6期（2013年）; Kibern的翻译。修女。分析。2013年，第1期，第3-10页（2013年）。MSC公司：65年第68季度 60年第68季度 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。49，No.1，1--6（2013；Zbl 1298.68126）；翻译自Kibern。修女。分析。2013年第1号、第3--10号（2013） 全文： 内政部
Chebotarev，A.N。 通过求解自动机上的方程设计反应式算法。 （英语。俄文原件） Zbl 1307.68046号 赛博。系统。分析。 48，第4期，479-488（2012）; 翻译自Kibern。修女。分析。第4期，第3-13页（2012年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。48，第4号，479--488（2012；Zbl 1307.68046）；翻译自Kibern。修女。分析。2012年第4号、第3--13号 全文： 内政部
利沃夫，M.S。;Kreknin，V.A.公司。 线性回路的非线性不变量和线性算子的特征多项式。 （英语。俄文原件） Zbl 1320.68056号 赛博。系统。分析。 48，第2期，268-281（2012）; 翻译自Kibern。修女。分析。2012年第2期，第126-140页（2012年）。MSC公司：68号30 65J10型 PDF格式BibTeX公司 XML格式引用 \textit｛M.S.Lvov｝和\textit｛V.A.Kreknin｝，Cybern。系统。分析。48，第2号，268--281（2012；Zbl 1320.68056）；翻译自Kibern。西斯特。分析。2012年第2期，126--140（2012） 全文： 内政部
波德洛夫琴科，R.I。 关于程序代数模型中等价性检查问题的多项式复杂性。 （英语。俄文原件） Zbl 1290.68036号 赛博。系统。分析。 48，第5期，653-659（2012）; 翻译自Kibern。修女。分析。2012年，第5期，17-24（2012）。MSC公司：68号30 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko}，Cybern。系统。分析。48，第5号，653--659（2012；Zbl 1290.68036）；翻译自Kibern。修女。分析。2012年第5号、第17--24号（2012） 全文： 内政部
蒂莫菲耶夫，V.G。;Chebotarev，A.N。 根据语言（L）中的自动机规范改进了自动机的合成方法。 （英语。俄文原件） Zbl 1298.68178号 赛博。系统。分析。 47，第3期，335-345（2011）; 翻译自Kibern。修女。分析。2011年，第3期，第3-14页（2011年）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛V.G.Timofeyev｝和\textit｛A.N.Chebotarev｝，Cybern。系统。分析。47，No.3，335--345（2011；Zbl 1298.68178）；翻译自Kibern。西斯特。分析。2011年第3期，第3-4期（2011年） 全文： 内政部
瓦罗斯扬，A.S。 业务流程模板的形式验证算法。 （英语。俄文原件） Zbl 1298.68179号 赛博。系统。分析。 47，第2期，228-240（2011）; 翻译自Kibern。修女。分析。2011年，第2期，第62-76页（2011年）。MSC公司：60年第68季度 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Varosyan}，Cybern。系统。分析。47，No.2，228--240（2011；Zbl 1298.68179）；翻译自Kibern。修女。分析。2011年第2期，第62--76号（2011） 全文： 内政部
利沃夫，M.S。 线性循环的多项式不变量。 （英语。俄文原件） Zbl 1288.68168号 赛博。系统。分析。 46，第4号，660-668（2010）; 翻译自Kibern。修女。分析。2010年，第4期，第159-168页（2010年）。MSC公司：60年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.S.利沃夫}，Cybern。系统。分析。46，第4号，660--668（2010；Zbl 1288.68168）；翻译自Kibern。西斯特。分析。2010年，第4期，159--168（2010） 全文： 内政部
德语，V.N。 求解实域和有理域上的线性约束。 （英语。俄文原件） 兹比尔1288.68291 赛博。系统。分析。 46，第4期，630-638（2010）; 翻译自Kibern。修女。分析。2010年，第4期，123-133（2010）。MSC公司：68瓦30 03C10号机组 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{V.N.德语}，Cybern。系统。分析。46，第4号，630--638（2010；Zbl 1288.68291）；翻译自Kibern。修女。分析。2010年，第4期，第123--133页（2010年） 全文： 内政部
戈德列夫斯基，A.B。 过渡系统符号建模背景下的谓词变换器。 （英语。俄文原件） Zbl 1288.68163号 赛博。系统。分析。 46，第4期，602-608（2010）; 翻译自Kibern。修女。分析。2010年，第4期，91-99（2010）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Godlevsky}，Cybern。系统。分析。46，第4号，602--608（2010；Zbl 1288.68163）；翻译自Kibern。修女。分析。2010年，第4期，91-99（2010） 全文： 内政部
科尔钦，A.V。 一种用于动态构造形式模型状态抽象的自动方法。 （英语。俄文原件） Zbl 1288.68166号 赛博。系统。分析。 46，第4期，583-601（2010）; Kibern的翻译。修女。分析。2010年，第4期，70-90（2010）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Kolchin}，Cybern。系统。分析。46，编号48583-601（2010年；兹bl 1288.68166）；翻译自Kibern。修女。分析。2010年第4期，70--90（2010） 全文： 内政部
Chebotarev，A.N。 将FSM的语言（L^\ast）规范转换为语言（L\）中的自动机等效规范。 （英语。俄文原件） Zbl 1288.68152号 赛博。系统。分析。 46，第4期，574-582（2010）; 翻译自Kibern。修女。分析。2010年，第4期，60-69（2010）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。46，第4号，574--582（2010；Zbl 1288.68152）；翻译自Kibern。修女。分析。2010年，第4期，60-69（2010） 全文： 内政部
扎哈罗夫，V.A。 用双磁带自动机进行程序等价性检查。 （英语。俄文原件） Zbl 1288.68171号 赛博。系统。分析。 46，第4期，554-562（2010）; 翻译自Kibern。西斯特。分析。2010年，第4期，39-48（2010）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Zakharov}，Cybern。系统。分析。46，第4554-562号（2010年；兹bl 1288.68171）；翻译自Kibern。修女。分析。2010年，第4期，39-48（2010） 全文： 内政部
莱蒂切夫斯基（A.A.Letichevsky）。;戈德列夫斯基，A.B。;A.A.jun Letychevsky。;波提延科，S.V。;佩沙连科，V.S。 VRS系统的谓词变换器的属性。 （英语。俄文原件） Zbl 1288.68167号 赛博。系统。分析。 46，第4期，521-532（2010）; 翻译自Kibern。修女。分析。2010年，第4期，第3-16页（2010年）。MSC公司：60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevsky}等人，Cybern。系统。分析。46，第4号，521--532（2010；Zbl 1288.68167）；翻译自Kibern。修女。分析。2010年，第4期，第3--16期（2010年） 全文： 内政部
波德洛夫琴科，R.I。 代数程序模型等价问题求解中的迹技术。 （英语。俄文原件） Zbl 1185.68420号 赛博。系统。分析。 45，第5期，692-702（2009）; 翻译自Kibern。修女。分析。2009年，第5期，25-37（2009）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛R.I.波德洛夫琴科｝，赛博。系统。分析。45，第5号，692--702（2009；Zbl 1185.68420）；翻译自Kibern。西斯特。分析。2009年，第5期，25-37（2009） 全文： 内政部
Chebotarev，A.N。 根据语言中不可表达的时间属性验证语言L中的规范。 （英语。俄文原件） Zbl 1185.68410号 赛博。系统。分析。 45，第5期，671-679（2009）; 翻译自Kibern。修女。分析。2009年，第5期，第3-12页（2009年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。45，第5号，671--679（2009；Zbl 1185.68410）；翻译自Kibern。修女。分析。2009年第5期、第3--12期（2009年） 全文： 内政部
Nepomnyashchij，V.A。 验证变量数据结构集合上的有限迭代。 （英语。俄文原件） Zbl 1130.68074号 赛博。系统。分析。 43，第3号，341-352（2007）; 翻译自Kibern。修女。分析。43，第3期，33-46（2007年）。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}，网络。系统。分析。43，第3号，341--352（2007；Zbl 1130.68074）；翻译自Kibern。西斯特。分析。43，第3号，33-46（2007） 全文： 内政部
Kryvyi，S.L。;马特维耶娃（L.Ye Matveyeva）。 系统属性分析的形式化方法。 （英语。俄文原件） 1099.68658兹比尔 赛博。系统。分析。 39，第2期，174-191（2003）; 翻译自Kibern。修女。分析。39，第2期，15-36页（2003年）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}和\textit{L.Ye.Matveyeva}，Cybern。系统。分析。39，第2号，174--191（2003；Zbl 1099.68658）；翻译自Kibern。修女。分析。39，第2期，第15--36期（2003年） 全文： 内政部
Vinnik，V.Yu。 修改非层次类型的IOTA方法。 （英语。俄文原件） Zbl 1063.68071号 赛博。系统。分析。 39，第1期，143-151（2003）; 翻译自Kibern。修女。分析。2003年，第1期，167-176（2003）。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Vinnik}，Cybern。系统。分析。39，第1号，143--151（2003；Zbl 1063.68071）；翻译自Kibern。修女。分析。2003年第1期，167--176（2003） 全文： 内政部
Letichevskii，A.A。;Yu Kapitonova。五、。;Kotlyarov，V.P。;Letichevskii，A.A.jun。;V.A.沃尔科夫。 定时消息序列图的语义。 （英语） Zbl 1031.68072号 控制论与系统分析 38，第4期，475-484（2002）和Kibern。修女。分析。2002年，第4期，第3-14页（2002年）。MSC公司：68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevskii}等人，Cybern。系统。分析。38，No.4，475--484（2002）和Kibern。修女。分析。2002年，第4号，第3-14号（2002；Zbl 1031.68072） 全文： 内政部
普罗沃塔，A.I。;阿德南，阿利 形式系统中导出的Thue问题和逻辑规范。 （英语。俄文原件） Zbl 0968.68098号 赛博。系统。分析。 35，第6期，860-866（1999）; 翻译自Kibern。修女。分析。1999年，第6期，第18-25页（1999年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Provotar}和\textit{A.Adnan}，Cybern。系统。分析。35，第6号，860--866（1999；Zbl 0968.68098）；翻译自Kibern。修女。分析。1999年，第6号，第18-25号（1999） 全文： 内政部
科斯坦扬，A.G。 一类程序不变量的启发式搜索。6 （英语。俄文原件） Zbl 0953.68095号 赛博。系统。分析。 第35期，第2期，184-199（1999）; 翻译自Kibern。修女。分析。1999年，第2号，14-33（1999）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Kostanyan}，Cybern。系统。分析。35，第2号，184--199（1999；Zbl 0953.68095）；翻译自Kibern。修女。分析。1999年，第2期，第14-33期（1999年） 全文： 内政部
Nepomnyashchij，V.A。 验证数据结构上的有限迭代。 （英语。俄文原件） Zbl 0956.68085号 赛博。系统。分析。 35，第3期，363-372（1999）; 翻译自Kibern。修女。分析。1999年，第3期，25-37（1999）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}，网络。系统。分析。35，第3号，363--372（1999；Zbl 0956.68085）；翻译自Kibern。修女。分析。1999年，第3期，25-37（1999） 全文： 内政部
Sergienko，I.V.公司。;Parasyuk，I.N。;普罗沃塔，A.I。 计算机技术中的形式化方法。 （英语。俄文原件） Zbl 0933.68093号 赛博。系统。分析。 34，第4期，609-615（1998）; 翻译自Kibern。西斯特。分析。1998年，第4期，159-167（1998）。MSC公司：60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit｛I.V.Sergienko｝等人，Cybern。系统。分析。34，No.4，609--615（1998；Zbl 0933.68093）；翻译自Kibern。修女。分析。1998年，第4期，159--167（1998） 全文： 内政部
Chebotarev，A.N。 逻辑语言（{mathfrak L}^*\）中指定的自动机的过程表示的合成。二、。 （英语。俄文原件） Zbl 0919.68088号 赛博。系统。分析。 33，第6期，845-853（1997）; 翻译自Kibern。修女。分析。1998年，第6期，第115-126页（1997年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。33，第6号，845--853（1997；Zbl 0919.68088）；翻译自Kibern。修女。分析。1998年，第6期，第115-126页（1997年） 全文： 内政部
Chebotarev，A.N。 逻辑语言（{mathfrak L}^*\）中指定的自动机的过程表示的合成。一、。 （英语。俄文原件） Zbl 0917.68143号 赛博。系统。分析。 33，第4期，505-515（1997）; 翻译自Kibern。修女。分析。1997年，第4期，60-74（1997）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。33，第4号，505--515（1997；Zbl 0917.68143）；Kibern的翻译。修女。分析。1997年，第4期，60-74（1997） 全文： 内政部
Chebotarev，A.N。 自动机规范逻辑语言的扩展和综合问题。 （英语。俄文原件） 兹伯利0893.68099 赛博。系统。分析。 32，第6期，756-765（1996）; 翻译自Kibern。修女。分析。1996年，第6期，11-27（1996）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。32，第6号，756--765（1996；Zbl 0893.68099）；翻译自Kibern。修女。分析。1996年，第6号，第11-27号（1996） 全文： 内政部
克里沃伊，S.L。 在项代数上寻找程序中不变关系的算法的推广。 （英语。俄文原件） Zbl 0879.68071号 赛博。系统。分析。 32，第1期，17-25（1996）; 翻译自Kibern。修女。分析。1996年，第1期，24-36（1996）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Krivoi}，Cybern。系统。分析。32，第1号，第17--25页（1996；Zbl 0879.68071）；翻译自Kibern。修女。分析。1996年，第1期，24-36（1996） 全文： 内政部
Chebotarev，A.N。 根据逻辑规范合成非确定性自动机。二、。 （英语。俄文原件） 兹比尔0868.68079 赛博。系统。分析。 31，No.6，793-801（1995）; 翻译自Kibern。西斯特。分析。1995年，第6期，第16-26页（1995年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。31，No.6，793--801（1995；Zbl 0868.68079）；翻译自Kibern。修女。分析。1995年，第6号，第16--26号（1995年） 全文： 内政部
A.G.科斯坦扬。 布尔数组线性程序的验证问题。 （英语。俄文原件） Zbl 0854.68062号 赛博。系统。分析。 31，第5期，705-710（1995）; 翻译自Kibern。修女。分析。1995年，第5期，87-94（1995）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Kostanyan}，Cybern。系统。分析。31，No.5，705--710（1995；Zbl 0854.68062）；翻译自Kibern。修女。分析。1995年，第5期，87-94（1995） 全文： 内政部
布依，D.B。;雷德科，V.N。 不动点和闭包运算符：程序方面。 （英语。俄文原件） Zbl 0844.68077号 赛博。系统。分析。 31，第1期，96-102（1995）; 翻译自Kibern。修女。分析。1995年，第1期，113-121（1995）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.B.Bui｝和\textit｛V.N.Red'ko｝，Cybern。系统。分析。31，No.1，96--102（1995；Zbl 0844.68077）；翻译自Kibern。西斯特。分析。1995年，第1期，113--121（1995） 全文： 内政部
潘菲连科，V.P。 并行程序规范中的死锁和虚构问题。 （英语。俄文原件） Zbl 0850.68242号 赛博。系统。分析。 30，第5期，755-762（1994）; 翻译自Kibern。修女。分析。5, 142-152 (1994).MSC公司：60年第68季度 08A70号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Panfilenko}，Cybern。系统。分析。30，第5号，755--762（1994；Zbl 0850.68242）；翻译自Kibern。修女。分析。5, 142--152 (1994) 全文： 内政部
Solomatin，A.N。 通过变量语义分析自动合成计算程序。 （英语。俄文原件） Zbl 0837.68072号 赛博。系统。分析。 30，第5期，747-754（1994）; 翻译自Kibern。修女。分析。5, 133-142 (1994).MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Solomatin}，Cybern。系统。分析。30，第5号，747--754（1994；Zbl 0837.68072）；Kibern的翻译。修女。分析。5, 133--142 (1994) 全文： 内政部
雷克林，V.A。 基于非形式规范的自动机合成。 （英语。俄文原件） Zbl 0836.68070号 赛博。系统。分析。 30，第4期，496-504（1994）; 翻译自Kibern。修女。分析。4, 29-41 (1994).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Raikhlin}，Cybern。系统。分析。30，第4号，496--504（1994；Zbl 0836.68070）；翻译自Kibern。修女。分析。4, 29--41 (1994) 全文： 内政部
Tsejtlin，G.E。;尤先科，E.L。 正式的程序规范和转换合成。 （英语。俄文原件） Zbl 0833.68081号 赛博。系统。分析。 29，第1期，101-120（1993）; 翻译自Kibern。修女。分析。1993年，第1期，127-152（1993）。MSC公司：60年第68季度 68号01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tsejtlin}和\textit{E.L.Yushchenko}，Cybern。系统。分析。29，第1号，101-120（1993；Zbl 0833.68081）；翻译自Kibern。西斯特。分析。1993年，第1期，127--152（1993） 全文： 内政部
潘菲连科，V.P。 多级编程中形式化规范的一致性。 （英语。俄文原件） 兹伯利0939.68704 赛博。系统。分析。 29，No.2，210-219（1993）; 翻译自Kibern。修女。分析。1993年，第2期，73-84（1993）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Panfilenko}，Cybern。系统。分析。29，No.2，1（1993；Zbl 0939.68704）；翻译自Kibern。修女。分析。1993年，第2期，73--84（1993） 全文： 内政部
利索维克，L.P。 程序模式和形式语言的包含和等价问题。 （英语。俄文原件） Zbl 0939.68689号 赛博。系统。分析。 29，第2期，202-209（1993）; 翻译自Kibern。修女。分析。1993年，第2期，第62-73页（1993年）。MSC公司：65年第68季度 60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lisovik}，Cybern。系统。分析。29，No.2，1（1993；Zbl 0939.68689）；翻译自Kibern。修女。分析。1993年，第2号，第62--73号（1993年） 全文： 内政部
卡斯亚诺夫，V.N。 用于设计高效可靠程序的转换方法和工具。 （英语。俄文原件） Zbl 0939.68552号 赛博。系统。分析。 第2期第29页，第177-184页（1993年）; 翻译自Kibern。修女。分析。1993年，第2期，第30-40页（1993年）。MSC公司：68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.N.Kas'yanov}，Cybern。系统。分析。29，No.2，1（1993；Zbl 0939.68552）；翻译自Kibern。修女。分析。1993年，第2期，第30--40期（1993年） 全文： 内政部
Tsejtlin，G.E。 符号处理算法的设计。 （英语。俄文原件） Zbl 0939.68956号 赛博。系统。分析。 29，第2期，167-176（1993）; 翻译自Kibern。修女。分析。1993年，第2期，17-29（1993）。MSC公司：68瓦30 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tsejtlin}，Cybern。系统。分析。29，No.2，1（1993；Zbl 0939.68956）；翻译自Kibern。修女。分析。1993年，第2期，17--29（1993） 全文： 内政部
普罗沃塔，A.I。 结构化模块组合编程的理论方面：形态代数。 （英语。俄文原件） Zbl 0823.68062号 赛博。系统。分析。 29，第6期，857-866（1993）; 翻译自Kibern。西斯特。分析。1993年，第6期，89-99（1993）。MSC公司：60年第68季度 68号01 18年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Provotar}，Cybern。系统。分析。29，No.6，89--99（1993；Zbl 0823.68062）；翻译自Kibern。修女。分析。1993年，第6号，第89--99号（1993年）
马卡洛夫，V.P。 继承了多种理论的延伸。 （英语。俄文原件） Zbl 0875.68640号 赛博。系统。分析。 28，第5期，792-795（1992）; 翻译自Kibern。修女。分析。1992年，第5期，165-169（1992）。MSC公司：60年第68季度 03B70号 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Makarov}，Cybern。系统。分析。28，第5号，792--795（1992；Zbl 0875.68640）；翻译自Kibern。修女。分析。1992年，第5期，165--169（1992） 全文： 内政部
Nepomnyashchij，V.A。;A.A.苏里莫夫。 SPEKTR系统中线性代数程序的验证。 （英语。俄文原件） Zbl 0875.68639号 赛博。系统。分析。 28，第5期，766-774（1992）; 翻译自Kibern。修女。分析。1992年，第5期，136-144（1992）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛V.A.Nepomnyashchij｝和\textit｛A.Sulimov｝，Cybern。系统。分析。28，第5号，766--774（1992；Zbl 0875.68639）；翻译自Kibern。西斯特。分析。1992年，第5期，136--144（1992） 全文： 内政部
O.A.伊莱切娃。 带否定的逻辑规范的初始语义。 （英语。俄文原件） Zbl 0875.68242号 赛博。系统。分析。 28，第4期，498-503（1992）; 翻译自Kibern。修女。分析。1992年，第4期，13-19（1992）。MSC公司：68N17号 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{O.A.Il’icheva}，Cybern。系统。分析。28，第4号，498--503（1992；Zbl 0875.68242）；翻译自Kibern。修女。分析。1992年，第4期，第13--19期（1992年） 全文： 内政部
L.I.纳戈尔内亚。 语法正确的多级结构化程序设计。 （英语。俄文原件） Zbl 0841.68073号 赛博。系统。分析。 27，第5期，730-736（1991）; 翻译自Kibern。修女。分析。1991年，第5期，第110-117页（1991年）。MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \文本{L.I.Nagornaya}，Cybern。系统。分析。27，编号5730-736（1991年；Zbl 0841.68073）；翻译自Kibern。修女。分析。1991年，第5110-117号（1991年） 全文： 内政部
Tsejtlin，G.E。;巴库林，A.V。 多级结构化程序设计和正确性证明。 （英语。俄文原件） Zbl 0841.68075号 赛博。系统。分析。 27，第5期，719-726（1991）; 翻译自Kibern。修女。分析。1991年，第5期，98-107（1991）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tsejtlin}和\textit{A.V.Bakulin}，Cybern。系统。分析。27，No.5，719--726（1991；Zbl 0841.68075）；翻译自Kibern。修女。分析。1991年，第5期，98--107（1991） 全文： 内政部
加尔佩林，V.A。 一类并行化转换。 （英语。俄文原件） Zbl 0841.68070号 赛博。系统。分析。 27，No.5，712-718（1991）; 翻译自Kibern。修女。分析。1991年，第5期，90-98（1991）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Gal’perin}，Cybern。系统。分析。27，No.5，712--718（1991；Zbl 0841.68070）；翻译自Kibern。西斯特。分析。1991年，第5期，90--98（1991） 全文： 内政部
戈德列夫斯基，A.B。;克里沃伊，S.L。 考虑到其他规格，程序缩减。 （英语。俄文原件） 兹伯利0841.68071 赛博。系统。分析。 27，第5期，684-693（1991）; 翻译自Kibern。修女。分析。1991年，第5期，第57-67页（1991年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Godlevskij}和\textit{S.L.Krivoj}，Cybern。系统。分析。27，第5号，684--693（1991；Zbl 0841.68071）；翻译自Kibern。修女。分析。1991年，第5期，第57--67页（1991年） 全文： 内政部