帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) Zbl 1484.68100号 理论计算。系统。 64,第3期,467-507(2020年).MSC公司:第68季度第60季度 03B44号 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardy}等人,《理论计算》。系统。64,第3号,467--507(2020;Zbl 1484.68100) 全文: 内政部 链接
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩 QBF展开的下限技术。 (英语) Zbl 1471.03081号 理论计算。系统。 64,第3号,400-421(2020). 审核人:Ariel Germanán Fernández(布宜诺斯艾利斯) MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}和\textit{J.Blinkhorn},理论计算。系统。64,第3号,400--421(2020;Zbl 1471.03081) 全文: 内政部
贝内迪克特·博利格;迪特里赫·库斯克;罗伊·门尼克 模型检验的复杂性。 (英语) Zbl 1372.68164号 理论计算。系统。 60,第4期,695-736(2017).MSC公司:第68季度第60季度 03B44号 2017年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,理论计算。系统。60,编号4965-736(2017;兹bl 1372.68164) 全文: 内政部 链接
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 固定大小位向量逻辑的复杂性。 (英语) Zbl 1357.68086号 理论计算。系统。 59,第2期,323-376(2016).MSC公司:第68季度25 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《理论计算》。系统。59,第2号,323--376(2016;Zbl 1357.68086) 全文: 内政部
托马斯·布里海耶;维罗尼克·布鲁埃;朱莉·德普里尔 具有可达性/安全性目标的定量博弈中的均衡。 (英语) Zbl 1380.91031号 理论计算。系统。 54,第2期,150-189(2014).MSC公司:91A43型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,理论计算。系统。54,第2号,150--189(2014;Zbl 1380.91031) 全文: 内政部 arXiv公司
里巴科夫,V。 带操作的分支时间逻辑\(mathcal{BTL}^{text{U,S}}_{text{N},\text{N}^{-1}}(mathcal{Z})_{alpha}\)直到和自基于整数束、逻辑连续性、判定算法。 (英语) Zbl 1148.03011号 理论计算。系统。 43,第2期,254-271(2008).MSC公司:03B44号 03年2月25日 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},理论计算。系统。43,第2号,254--271(2008;Zbl 1148.03011) 全文: 内政部
沃伊切赫·贾姆罗加;尤尔根·迪克斯 代理的模型检查能力:仔细观察。 (英语) Zbl 1136.68036号 理论计算。系统。 42,第3期,366-410(2008).MSC公司:第68季度第60季度 03B44号 2017年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{J.Dix},理论计算。系统。42,第3号,366--410(2008;Zbl 1136.68036) 全文: 内政部