劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 同质性假设下子区间逻辑的可满足性和模型检验。 (英语) Zbl 07471713号 日志。方法计算。科学。 18,第1号,第24号论文,第25页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,日志。方法计算。科学。18,第1号,第24号论文,第25页(2022;Zbl 07471713) 全文: arXiv公司 链接
卡罗琳娜·莱赫蒂宁;帕里斯(Pawe Parys);斯文·舍韦;多米尼克·沃伊特扎克 求解拟多项式时间奇偶对策的递归方法。 (英语) Zbl 07471697号 日志。方法计算。科学。 18,第1号,第8号论文,第18页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehtinen}等人,《日志》。方法计算。科学。18,第1号,第8号论文,18页(2022;Zbl 07471697) 全文: arXiv公司 链接
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 数据字换能器的合成。 (英语) Zbl 1509.68132号 日志。方法计算。科学。 17,第1号,第22号论文,第25页(2021年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,日志。方法计算。科学。17,第1号,第22号论文,25页(2021;Zbl 1509.68132) 全文: arXiv公司 链接
米拉德·阿加乔哈里;阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。 离散投标无限长博弈中的确定性。 (英语) Zbl 1509.91007号 日志。方法计算。科学。 17,第1号,第10号文件,第23页(2021).MSC公司:91年43月 65年第68季度 91A50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Aghajohari}等人,日志。方法计算。科学。17,第1号,第10号论文,23页(2021;Zbl 1509.91007) 全文: arXiv公司 链接
托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金;玛丽·范登·博加德 定量可达博弈中子博弈完美均衡的复杂性。 (英语) Zbl 1519.91050号 日志。方法计算。科学。 16,第4号,第8号论文,43页(2020年).MSC公司:91年43月 91A11号机组 91A68型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。16,第4号,第8号论文,43页(2020年;Zbl 1519.91050) 全文: arXiv公司 链接
迭戈·菲格拉;阿尼尔班·马朱姆达尔;M·普拉文。 使用能量游戏玩数据单词中的重复。 (英语) Zbl 1497.91007号 日志。方法计算。科学。 16,第3号,第1号论文,42页(2020年).MSC公司:91A05型 03B25号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueira}等人,日志。方法计算。科学。16,第3号,第1号论文,42页(2020年;Zbl 1497.91007) 全文: arXiv公司 链接