×

找到7个文档(结果1-7)

一阶逻辑语言LP和LF中指定的(Sigma)-自动机的合成问题。 (英语。俄文原件) Zbl 1380.68271号

赛博。系统。分析。 53,第5号,675-683(2017); 翻译自Kibern。修女。分析。2017年,第5期,22-33(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交互自动机的协调。 (英语。俄文原件) Zbl 1328.68110号

赛博。系统。分析。 51,第5号,676-686(2015); 翻译自Kibern。修女。分析。2015年第2期,13-25(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过求解自动机上的方程设计反应式算法。 (英语。俄文原件) Zbl 1307.68046号

赛博。系统。分析。 第4期第48页,第479-488页(2012年); 翻译自Kibern。修女。分析。第4期,第3-13页(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

根据语言中不可表达的时间属性验证语言L中的规范。 (英语。俄文原件) Zbl 1185.68410号

赛博。系统。分析。 45,第5671-679号(2009年); 翻译自Kibern。修女。分析。2009年,第5期,第3-12页(2009年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

检查语言\(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格式引用
全文: 内政部

筛选结果依据…

全部的 前5名

出版年份

主字段