大卫·费尔南德斯·杜克 拓扑动力学的纠缠模态逻辑。 (英语) Zbl 1248.03033号 Ann.纯粹应用。逻辑 163,第4期,467-481(2012).MSC公司:03B45 03B44号 03B62号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},Ann.纯苹果。逻辑163,No.4,467--481(2012;Zbl 1248.03033) 全文: 内政部
大卫·费尔南德斯 动态拓扑逻辑的非确定性语义。 (英语) 兹比尔1168.03010 Ann.纯粹应用。逻辑 157,编号2-3,110-121(2009). 审核人:G.E.Mints(斯坦福) MSC公司:03B45 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández},Ann.纯苹果。逻辑157,No.2--3,110-121(2009;Zbl 1168.03010) 全文: 内政部 arXiv公司
迈克尔·德克蒂亚;亚历山大·迪科夫斯基;瓦利耶夫,火星 交互代理行为验证的复杂性。 (英语) Zbl 1096.68143号 Ann.纯粹应用。逻辑 141,第3期,336-362(2006).MSC公司:第68页第27页 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Dekhtyar}等人,Ann.Pure Appl。逻辑141,No.3,336--362(2006;Zbl 1096.68143) 全文: 内政部
奥尔纳·库普弗曼;Shmuel萨夫拉;莫舍·瓦尔迪。 关联词和树自动机。 (英语) Zbl 1097.03034号 Ann.纯粹应用。逻辑 138,编号1-3,126-146(2006). 审核人:Aleksej Dmitrievich Korshunov(新西伯利亚) MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《纯粹应用》。逻辑138,No.1--3,126--146(2006;Zbl 1097.03034) 全文: 内政部
巴哈雷赫巴德班;范德波尔(Jaco van de Pol) BDD中的零、继承和平等。 (英语) Zbl 1064.03009号 Ann.纯粹应用。逻辑 133,编号1-3,101-123(2005).MSC公司:03B20型 03B25号 03B35型 第68页第15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol},Ann.Pure Appl。逻辑133,编号1--3,101-123(2005;Zbl 1064.03009) 全文: 内政部 链接
伊恩·霍德金森;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 一阶时间逻辑的可判定片段。 (英语) Zbl 0999.03015号 Ann.纯粹应用。逻辑 106,编号1-3,85-134(2000). 审核人:马丁·霍夫曼(慕尼黑) MSC公司:03B44号 03B25号 第68页,共15页 60年第68季度 68立方英尺 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}等人,Ann.Pure Appl。逻辑106,编号1--3,85-134(2000;Zbl 0999.03015) 全文: 内政部
大卫·哈雷尔;伊莱·辛格曼 计算路径逻辑:一种表达性的、但基本的过程逻辑。 (英语) Zbl 0931.03044号 Ann.纯粹应用。逻辑 96,第1-3号,167-186(1999). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B70号 60年第68季度 68问题85 03B25号 2015年3月1日 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{E.Singerman},Ann.Pure Appl。逻辑96,No.1--3,167--186(1999;Zbl 0931.03044) 全文: 内政部
莫舍·瓦尔迪。 并发程序的验证:自动机理论框架。 (英语) 兹比尔0725.03013 Ann.纯粹应用。逻辑 51,编号1-2,79-98(1991). 审核人:A.P.斯托尔布什金(佩雷斯拉夫·泽莱斯基) MSC公司:03B70号 05年3月 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},Ann.纯应用。逻辑51,编号1--2,79-98(1991;Zbl 0725.03013) 全文: 内政部