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公司: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年) 全文: 内政部