P.I.安东。;A.Yu Doroshenko。;伊万尼科,P.A。;O.A.Yatsenko。 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,编号42527-540(2018;兹bl 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) 全文: 内政部
R.M.巴巴科夫。;Barkalov,A.A。 具有转换数据路径的微程序有限状态机的代数解释。 (英语。俄文原件) Zbl 1346.68124号 赛博。系统。分析。 52,第2期,191-198(2016); 翻译自Kibern。修女。分析。2016年第2期,22-29(2016)。MSC公司:70年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Babakov}和\textit{A.A.Barkalov},Cybern。系统。分析。52,第2号,191--198(2016;Zbl 1346.68124);翻译自Kibern。修女。分析。2016年第2期,22--29号(2016) 全文: 内政部
利沃夫,M.S。 线性定迭代循环的分析。 (英语。俄文原件) Zbl 1356.68045号 赛博。系统。分析。 52,第1期,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,编号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 1327.68081号 赛博。系统。分析。 51,第3期,448-460(2015); 翻译自Kibern。修女。分析。2015年第3期,第143-156页(2015年)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.利沃夫},Cybern。系统。分析。51,No.3,448--460(2015;Zbl 1327.68081);翻译自Kibern。修女。分析。2015年第3期,143--156(2015) 全文: 内政部
维佐维汀,N.V。;内波米纳希。;斯坦尼科,A.A。 使用有色Petri网验证分布式系统的UCM规范。 (英语。俄文原件) Zbl 1317.93177号 赛博。系统。分析。 51,第2期,213-222(2015); 翻译自Kibern。修女。分析。2015年第2期,第62-74页(2015年)。MSC公司:93元65角 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Vizovitin}等人,Cybern。系统。分析。51,No.2,213--222(2015;Zbl 1317.93177);翻译自Kibern。修女。分析。2015年,第2号,62-74(2015) 全文: 内政部
利沃夫,M.S。 证明线性回路线性不等式不变性的一种方法。 (英语。俄文原件) Zbl 1323.68381号 赛博。系统。分析。 50,第4期,643-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) 全文: 内政部
Chebotarev,A.N。 利用自动机逻辑规范的兼容性分析来解决博弈问题。 (英语。俄文原件) Zbl 1311.91051号 赛博。系统。分析。 50,第4期,487-494(2014); 翻译自Kibern。修女。分析。第4期,第3-13页(2014年)。MSC公司:91个40个 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。50,第4号,487--494(2014;Zbl 1311.91051);翻译自Kibern。修女。分析。2014年第4号、第3号--13号 全文: 内政部
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,编号6805-814(2013;兹bl 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年第2126-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年) 全文: 内政部
比约纳,D。 从计算机科学到信息科学的领域科学和工程。二: 科学。 (英语。俄文原件) Zbl 1298.68061号 赛博。系统。分析。 47,第2期,260-276(2011); 翻译自Kibern。修女。分析。2011年,第2期,100-120(2011)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner},Cybern。系统。分析。47,No.2,260--276(2011;Zbl 1298.68061);翻译自Kibern。修女。分析。2011年第2期,100-120(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。 求解实域和有理域上的线性约束。 (英语。俄文原件) Zbl 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,No.4,583--601(2010;Zbl 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},赛本。系统。分析。46,No.4,554--562(2010;Zbl 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.Letichevsky}等人,Cybern。系统。分析。46,第4号,521--532(2010;Zbl 1288.68167);翻译自Kibern。修女。分析。2010年,第4期,第3-16期(2010年) 全文: 内政部
利沃夫,M.S。 求解线性不等式组问题的代数方法。 (英语。俄文原件) Zbl 1204.68067号 赛博。系统。分析。 46,第2期,326-338(2010); 翻译自Kibern。修女。分析。2010年,第2期,175-188(2010)。MSC公司:68瓦30 08A70型 15A39型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{M.S.利沃夫},Cybern。系统。分析。46,No.2,326--338(2010;Zbl 1204.68067);翻译自Kibern。修女。分析。2010年,第2期,175--188(2010) 全文: 内政部
Chebotarev,A.N。 在指定有限内存有限状态机的L(^*)语言公式类上。 (英语。俄文原件) Zbl 1204.68119号 赛博。系统。分析。 46,第1期,第1-6页(2010年); 翻译自Kibern。修女。分析。2010年,第1期,第3-9页(2010年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。46,编号1,1--6(2010;Zbl 1204.68119);翻译自Kibern。修女。分析。2010年第1期、第3--9期(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.Podlovchenko},Cybern。系统。分析。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年) 全文: 内政部
阿库洛夫斯基,V.G。 在扩展算法代数的框架内,对操作符和数据之间的相互关系进行形式化。 (英语。俄文原件) Zbl 1183.68386号 赛博。系统。分析。 44,第6期,941-950(2008); 翻译自Kibern。修女。分析。2008年,第6期,170-182(2008)。MSC公司:68问题65 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Akulovsky},Cybern。系统。分析。44,第6号,941--950(2008;Zbl 1183.68386);翻译自Kibern。修女。分析。2008年,第6期,170--182(2008) 全文: 内政部
Chebotarev,A.N。;俄亥俄州库里夫查克。 用(L)语言公式近似超词集。 (英语。俄文原件) Zbl 1156.68450号 赛博。系统。分析。 43,第6号,779-786(2007); 翻译自Kibern。修女。分析。2007年,第6期,第18-26页(2007年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}和\textit{O.I.Kurivchak},Cybern。系统。分析。43,第6号,779--786(2007;Zbl 1156.68450);翻译自Kibern。修女。分析。2007年,第6号,第18--26号(2007) 全文: 内政部
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) 全文: 内政部
Kryvyj,S.L。;Chebotarev,A.N。 检查语言\(L\)中用析取范式表示的公式的可满足性。一、。 (英语。俄文原件) Zbl 1102.68646号 赛博。系统。分析。 41,第4期,494-499(2005); 翻译自Kibern。修女。分析。2005年,第4期,22-28(2005)。MSC公司:68吨15 68周05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyj}和\textit{A.N.Chebotarev},Cybern。系统。分析。41,No.4,494--499(2005;Zbl 1102.68646);翻译自Kibern。修女。分析。2005年,第4期,22--28(2005) 全文: 内政部
谢特林,G.E。 Glushkov代数和克隆理论。 (英语。俄文原件) Zbl 1091.68072号 赛博。系统。分析。 39,第4期,509-516(2003); 翻译自Kibern。修女。分析。39,第4期,48-58(2003年)。MSC公司:68问题65 08A70型 68-02 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tseilin},Cybern。系统。分析。39,第4号,509--516(2003;Zbl 1091.68072);翻译自Kibern。修女。分析。39,第4号,48-58(2003年) 全文: 内政部
Kryvyi,S.L。;马特维耶娃(L.Ye Matveyeva)。 系统属性分析的形式化方法。 (英语。俄文原件) Zbl 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年) 全文: 内政部
S.N.巴拉诺夫。;V.A.沃尔科夫。;戈德列夫斯基,A.B。;Yu Kapitonova。五、。;莱蒂切夫斯基(A.A.Letichevsky)。 验证由属性转换系统表示的程序系统上的软件需求。 (英语。俄文原件) Zbl 1097.68539号 赛博。系统。分析。 39,第6期,783-789(2003); 翻译自Kibern。修女。分析。2003年,第6期,第3-11页(2003年)。MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Baranov}等人,Cybern。系统。分析。39,第6号,783--789(2003;Zbl 1097.68539);翻译自Kibern。修女。分析。2003年,第6号,第3--11号(2003) 全文: 内政部
于文尼克。 修改非层次类型的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) 全文: 内政部
Letichevskij,A.A。;科门科,V.V。 重写机和术语重写策略的优化。 (英语。俄文原件) Zbl 1031.68068号 控制论与系统分析 38,第5期,637-649(2002); 翻译自Kibern。修女。分析。2002年,第5期,第3-17页(2002年)。MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevskij}和\textit{V.Khomenko},Cybern。系统。分析。38,第5号,637--649(2002;Zbl 1031.68068);翻译自Kibern。修女。分析。2002年,第5期,第3-17期(2002年) 全文: 内政部
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) 全文: 内政部
新南威尔士州尼基琴科。 部分谓词的命题组合。 (英语。俄文原件) Zbl 0965.03039号 赛博。系统。分析。 36,第2期,149-161(2000); 翻译自Kibern。修女。分析。2000年,第2期,第3-19页(2000年)。MSC公司:03B70号 06E30年 03B50 68号30 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Nikitchenko},Cybern。系统。分析。36,第2号,149--161(2000;Zbl 0965.03039);翻译自Kibern。修女。分析。2000年,第2期,第3--19期(2000年) 全文: 内政部
教务长,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) 全文: 内政部
谢特林,G.E。 构造Dijkstra代数的子代数的格。 (英语。俄文原件) Zbl 0906.03065号 赛博。系统。分析。 33,第1号,21-34(1997); 翻译自Kibern。修女。分析。1997年,第1期,第27-45页(1997年)。MSC公司:03G25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tsejtlin},Cybern。系统。分析。33,编号1,21--34(1997;Zbl 0906.03065);翻译自Kibern。修女。分析。1997年,第1期,27-45(1997) 全文: 内政部
Chebotarev,A.N。 自动机规范逻辑语言的扩展和综合问题。 (英语。俄文原件) Zbl 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) 全文: 内政部
S.V.苏尔日科。;尤先科,E.L。 算法和程序代数模型的构造方法。 (英语。俄文原件) 兹伯利0883.68092 赛博。系统。分析。 32,第1期,第1-8页(1996年); 翻译自Kibern。修女。分析。1996年,第1期,3-13页(1996年)。 审核人:G.E.Tseytlin(基辅) MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Surzhko}和\textit{E.L.Yushchenko},Cybern。系统。分析。32,No.1,1--8(1996;Zbl 0883.68092);翻译自Kibern。修女。分析。1996年,第1期,第3--13期(1996年) 全文: 内政部
Chebotarev,A.N。 根据逻辑规范合成非确定性自动机。二、。 (英语。俄文原件) Zbl 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,编号:5705-710(1995年;Zbl 0854.68062);翻译自Kibern。修女。分析。1995年,第5期,87-94(1995) 全文: 内政部
谢特林,G.E。 Dijkstra代数中的函数完备性准则。 (英语。俄文原件) Zbl 0854.68063号 赛博。系统。分析。 31,第5期,659-668(1995); 翻译自Kibern。修女。分析。1995年,第5期,28-40(1995)。MSC公司:68问题65 68宽10 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tseilin},Cybern。系统。分析。31,第5号,659--668(1995;Zbl 0854.68063);翻译自Kibern。修女。分析。1995年,第5期,28--40(1995) 全文: 内政部
Chebotarev,A.N。 根据逻辑规范合成非确定性自动机。一、。 (英语。俄文原件) Zbl 0856.68105号 赛博。系统。分析。 31,第5期,641-649(1995); 翻译自Kibern。修女。分析。1995年,第5期,第3-15页(1995年)。MSC公司:65年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。31,第5号,641--649(1995;Zbl 0856.68105);翻译自Kibern。修女。分析。1995年,第5期,第3-15期(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) 全文: 内政部
Chebotarev,A.N。 自动机系统简单规范的一致性测试。 (英语。俄文原件) Zbl 0836.68067号 赛博。系统。分析。 30,第3期,317-322(1994); 翻译自Kibern。修女。分析。3, 3-11 (1994).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。30,第3号,317--322(1994;Zbl 0836.68067);翻译自Kibern。修女。分析。3, 3--11 (1994) 全文: 内政部
谢特林,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) 全文: 内政部
L.N.科泽拉茨卡亚。;Lebedeva,T.T。;Sergienko,I.V.公司。 离散优化问题的稳定性。 (英语。俄文原件) Zbl 0829.90118号 赛博。系统。分析。 29,第3期,367-378(1993); 翻译自Kibern。修女。分析。1993年,第3期,78-93(1993)。MSC公司:90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.N.Kozeratskaya}等人,Cybern。系统。分析。29,No.3,1(1993;Zbl 0829.90118);翻译自Kibern。修女。分析。1993年,第3号,78--93(1993) 全文: 内政部
Chebotarev,A.N。 自动机系统功能规范的方法。一、。 (英语。俄文原件) Zbl 0939.68709号 赛博。系统。分析。 29,第3号,330-337(1993); 翻译自Kibern。修女。分析。1993年,第3期,31-42(1993)。MSC公司:68问题65 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。29,No.3,1(1993;Zbl 0939.68709);翻译自Kibern。修女。分析。1993年,第3期,31-42(1993) 全文: 内政部
潘菲连科,V.P。 多级编程中形式化规范的一致性。 (英语。俄文原件) Zbl 0939.68704号 赛博。系统。分析。 29,No.2,210-219(1993); 翻译自Kibern。修女。分析。1993年,第2期,73-84(1993)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Panfilenko},赛博。系统。分析。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号 赛博。系统。分析。 29,第2期,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年) 全文: 内政部
谢特林,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对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.A.Sulimov},Cybern。系统。分析。28,第5号,766--774(1992;Zbl 0875.68639);翻译自Kibern。修女。分析。1992年,第5期,136--144(1992) 全文: 内政部
梅杰特斯(V.Yu Mejtus)。 确定性下推自动机等价问题的可判定性。 (英语。俄文原件) Zbl 0875.68644号 赛博。系统。分析。 28,第5期,672-690(1992); 翻译自Kibern。修女。分析。1992年,第5期,20-45(1992)。MSC公司:68问题65 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Mejtus},Cybern。系统。分析。28,第5号,672--690(1992;Zbl 0875.68644);翻译自Kibern。修女。分析。1992年,第5期,第20--45期(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,第5号,730--736(1991;Zbl 0841.68073);翻译自Kibern。修女。分析。1991年,第5期,第110-117页(1991年) 全文: 内政部
谢特林,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。 考虑到其他规格,程序缩减。 (英语。俄文原件) Zbl 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年) 全文: 内政部