帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 取决于战略逻辑。 (英语) Zbl 1484.68100号 理论计算。系统。 64,第3期,467-507(2020年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardy}等人,《理论计算》。系统。64,第3号,467--507(2020;Zbl 1484.68100) 全文: 内政部 链接
克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊 具有局部树约束的\(\mathrm{ECTL}^*\)的可满足性。 (英语) Zbl 1435.03040号 理论计算。系统。 61,第2号,689-720(2017).MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Carapelle}等人,理论计算。系统。61,第2号,689--720(2017;Zbl 1435.03040) 全文: 内政部
贝内迪克特·博利格;迪特里赫·库斯克;罗伊·门尼克 模型检验的复杂性。 (英语) Zbl 1372.68164号 理论计算。系统。 60,第4期,695-736(2017).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,理论计算。系统。60,第4号,695--736(2017;Zbl 1372.68164) 全文: 内政部 链接
里巴科夫,V。 带操作的分支时间逻辑\(mathcal{BTL}^{text{U,S}}_{text{N},\text{N}^{-1}}(mathcal{Z})_{alpha}\)直到和自基于整数束、逻辑序列、判定算法。 (英语) Zbl 1148.03011号 理论计算。系统。 第2254-271号第43页(2008年).MSC公司:03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},理论计算。系统。43,第2号,254--271(2008;Zbl 1148.03011) 全文: 内政部
沃伊切赫·贾姆罗加;尤尔根·迪克斯 代理的模型检查能力:仔细观察。 (英语) Zbl 1136.68036号 理论计算。系统。 42,第3期,366-410(2008).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{J.Dix},理论计算。系统。42,第3号,366--410(2008;Zbl 1136.68036) 全文: 内政部
迪特马尔·伯旺格;埃里希·格拉德尔;贾科莫·伦齐 微积分的变量层次结构是严格的。 (英语) Zbl 1121.68072号 理论计算。系统。 40,第4期,437-466(2007).MSC公司:60年第68季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}等人,理论计算。系统。40,第4号,437--466(2007;Zbl 1121.68072) 全文: 内政部
丹尼斯·塞里安;托马斯·威尔克 在线性时序逻辑中嵌套直到和之后。 (英语) Zbl 1130.03014号 理论计算。系统。 37,第1期,第111-131页(2004年).MSC公司:03B44号 03B70号 05年3月 20立方米 60年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Thérien}和\textit{T.Wilke},理论计算。系统。37,编号1,111--131(2004;Zbl 1130.03014) 全文: 内政部