Chebotarev，A.N。 一阶逻辑语言LP和LF中指定的（Sigma）-自动机的合成问题。 （英语。俄文原件） 兹比尔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公司：65年第68季度 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号 赛博。系统。分析。 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号 全文： 内政部
比约纳，D。 从计算机科学到信息学的领域科学和工程。一： 工程。 （英语。俄文原件） Zbl 1290.68037号 赛博。系统。分析。 46，第4期，609-623（2010）; Kibern的翻译。西斯特。分析。2010年，第4期，100-116（2010）。MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Bjørner｝，赛博。系统。分析。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季度 65年第68季度 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，第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年） 全文： 内政部
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） 全文： 内政部