贝内迪克特·博利格;迪特里赫·库斯克;罗伊·门尼克 模型检验的复杂性。 (英语) 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) 全文: 内政部 链接
马库斯·谢弗;丹尼尔·什·特凡科维奇 不动点、纳什均衡和实存在论。 (英语) Zbl 1362.68088号 理论计算。系统。 60,第2期,172-193(2017).MSC公司:2015年第68季度 03B25号 03C07号机组 第14页 54H25个 91年10月 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schaefer}和\textit{D.Štefanković},理论计算。系统。60,第2号,172--193(2017;Zbl 1362.68088) 全文: 内政部
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 固定大小位向量逻辑的复杂性。 (英语) Zbl 1357.68086号 理论计算。系统。 59,第2期,323-376(2016).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《理论计算》。系统。59,第2号,323--376(2016;Zbl 1357.68086) 全文: 内政部