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。 交互自动机的协调。 (英语。俄文原件) Zbl 1328.68110号 赛博。系统。分析。 51,第5号,676-686(2015); 翻译自Kibern。修女。分析。2015年第2期,13-25(2015)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。51,No.5,676--686(2015;Zbl 1328.68110);翻译自Kibern。修女。分析。2015年第2期、第13-25期(2015年) 全文: 内政部
Chebotarev,A.N。 通过求解自动机上的方程设计反应式算法。 (英语。俄文原件) Zbl 1307.68046号 赛博。系统。分析。 第4期第48页,第479-488页(2012年); 翻译自Kibern。修女。分析。第4期,第3-13页(2012年)。MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。48,第4号,479--488(2012;Zbl 1307.68046);翻译自Kibern。修女。分析。2012年第4号、第3--13号 全文: 内政部
比约纳,D。 从计算机科学到信息科学的领域科学和工程。一: 工程。 (英语。俄文原件) Zbl 1290.68037号 赛博。系统。分析。 46,第4期,609-623(2010); 翻译自Kibern。修女。分析。2010年,第4期,100-116(2010)。MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner},Cybern。系统。分析。46,No.4,609--623(2010;Zbl 1290.68037);翻译自Kibern。修女。分析。2010年,第4期,100--116(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) 全文: 内政部
扎哈罗夫,V.A。 通过两个磁带自动机进行程序等价性检查。 (英语。俄文原件) Zbl 1288.68171号 赛博。系统。分析。 46,第4期,554-562(2010); 翻译自Kibern。修女。分析。2010年,第4期,39-48(2010)。MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Zakharov},Cybern。系统。分析。46,No.4,554--562(2010;Zbl 1288.68171);翻译自Kibern。修女。分析。2010年,第4期,39-48(2010) 全文: 内政部
Chebotarev,A.N。 根据语言中不可表达的时间属性验证语言L中的规范。 (英语。俄文原件) Zbl 1185.68410号 赛博。系统。分析。 45,第5671-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年) 全文: 内政部
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) 全文: 内政部
Yu Vojtishin。五、。;沙尔科夫斯卡娅,E.A。 顶点填充问题的算法。 (英语。俄文原件) Zbl 0875.68712号 赛博。系统。分析。 28,第1期,148-150(1992); 翻译自Kibern。修女。分析。1992年,第1期,170-172(1992)。MSC公司:68兰特 65年第68季度 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Vojtishin}和\textit{E.A.Sharkovskaya},Cybern。系统。分析。28,第1号,148--150(1992;Zbl 0875.68712);翻译自Kibern。修女。分析。1992年,第1期,170--172(1992) 全文: 内政部