朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 (英语) Zbl 1400.03057号 Ann.纯粹应用。逻辑 168,第2号,373-403(2017). 审核人:马丁·兰格(卡塞尔) MSC公司:03B70号 03B44号 91A40型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Ann.纯应用。逻辑168,No.2,373--403(2017;Zbl 1400.03057) 全文: 内政部
诺里希罗·卡米德 有界线性时间逻辑:一项实证研究。 (英语) Zbl 1241.03015号 Ann.纯粹应用。逻辑 163,第4期,439-466(2012).MSC公司:03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},Ann.纯苹果。逻辑163,No.4,439--466(2012;Zbl 1241.03015) 全文: 内政部
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 线性时序逻辑LTL中的统一。 (英语) 兹比尔1241.03014 Ann.纯粹应用。逻辑 162,第12期,991-1000(2011).MSC公司:03B44号 03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov},Ann.Pure Appl。逻辑162,No.12,991--1000(2011;Zbl 1241.03014) 全文: 内政部
雷诺兹,M。 实域上时序逻辑的复杂性。 (英语) Zbl 1235.03052号 Ann.纯粹应用。逻辑 161,第8期,1063-1096(2010).MSC公司:03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},Ann.《纯粹的应用》。逻辑161,No.8,1063--1096(2010;Zbl 1235.03052) 全文: 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 关于记忆状态序列的推理。 (英语) Zbl 1225.68068号 Ann.纯粹应用。逻辑 161,编号305-323(2009).MSC公司:68纳米30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,Ann.Pure Appl。逻辑161,No.3,305--323(2009;Zbl 1225.68068) 全文: 内政部
里巴科夫,V。 线性时序逻辑,具有直到和下一个逻辑顺序。 (英语) 邮编1147.03008 Ann.纯粹应用。逻辑 155,第1号,32-45(2008).MSC公司:03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},Ann.《纯粹的应用》。逻辑155,编号1,32-45(2008;Zbl 1147.03008) 全文: 内政部
理查德·拉斯因;西尔万·佩伦内特 概率验证和近似。 (英语) Zbl 1142.68050号 Ann.纯粹应用。逻辑 152,编号1-3,122-131(2008).MSC公司:60年第68季度 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{R.Lassaigne}和\textit{S.Peyronnet},Ann.Pure Appl。逻辑152,编号1--3,122-131(2008;Zbl 1142.68050) 全文: 内政部
D.博基尔。;A.斯利森科。 一阶时间逻辑中基于周期的可判定类。 (英语) Zbl 1094.03017号 Ann.纯粹应用。逻辑 139,编号1-3,43-73(2006). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 03B25号 03B44号 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}和\textit{A.Slissenko},Ann.纯粹应用。逻辑139,编号1-3,43-73(2006;Zbl 1094.03017) 全文: 内政部 哈尔
奥尔纳库普弗曼;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) 全文: 内政部
伊恩·霍德金森 线性和实时上一元保护碎片的复杂性。 (英语) 邮编1093.03009 Ann.纯粹应用。逻辑 138,编号1-3,94-125(2006).MSC公司:03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson},Ann.《纯粹的应用》。逻辑138,编号1--3,94-125(2006;Zbl 1093.03009) 全文: 内政部 链接
斯瓦特、维埃索;利迪亚·坦德拉 带有可传递防护装置的防护碎片。 (英语) 兹比尔1048.03010 Ann.纯粹应用。逻辑 128,编号1-3,227-276(2004).MSC公司:03B25号 2015年3月1日 2017年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{W.Szwast}和\textit{L.Tendera},Ann.Pure Appl。逻辑128,编号1--3,227--276(2004;Zbl 1048.03010) 全文: 内政部
莫舍·瓦尔迪。 并发程序的验证:自动机理论框架。 (英语) Zbl 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) 全文: 内政部