拉贾塞克兰,阿尤什;杰弗里·沙利特;蒂姆·史密斯 通过自动机理论的加法数理论。 (英语) Zbl 1475.11040号 理论计算。系统。 64,编号3,542-567(2020). 审核人:沃尔克·齐格勒(萨尔茨堡) MSC公司:11B85号 第11页63 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rajasekaran}等人,理论计算。系统。64,第3号,542--567(2020;Zbl 1475.11040) 全文: 内政部
清明,Masashi;大野弘太郎;Yota Otachi;帕斯卡·施韦策;六月·塔鲁 最长递增子序列的空间效率算法。 (英语) Zbl 1433.68632号 理论计算。系统。 64,第3期,522-541(2020年).MSC公司:68瓦32 2016年11月 第11年55 68页第10页 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Kiyomi}等人,理论计算。系统。64,第3号,522--541(2020;Zbl 1433.68632) 全文: 内政部 链接
芭芭拉·盖斯曼;斯特凡诺·卢奇;刘志雄;保罗·佩纳 亚二次时间内具有持续误差的最佳位错。 (英语) Zbl 1433.68111号 理论计算。系统。 64,编号3,508-521(2020).MSC公司:68页第10页 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.Geissmann}等人,理论计算。系统。64,编号3,508--521(2020;兹bl 1433.68111) 全文: 内政部 链接
帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) 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) 全文: 内政部 链接
马可·布雷桑;伊诺克·佩塞里科;卢卡,普雷托 关于时间可逆马尔可夫链平稳分布的近似。 (英语) Zbl 1436.60035号 理论计算。系统。 64,第3期,444-466(2020).MSC公司:60亿10 60J10型 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Bressan}等人,理论计算。系统。64,第3号,444--466(2020;Zbl 1436.60035) 全文: 内政部 链接
戴维·比洛;帕斯卡·伦兹纳 关于网络创作游戏的树猜想。 (英语) Zbl 1443.91071号 理论计算。系统。 64,第3期,422-443(2020年). 审核人:弗拉迪米尔·拉科(科希策) MSC公司:91A43型 91A68型 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{D.Biló}和\textit{P.Lenzner},理论计算。系统。64,第3号,422--443(2020;Zbl 1443.91071) 全文: 内政部 链接
拜尔斯多夫,奥拉夫;乔舒亚·布林霍恩 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) 全文: 内政部
马克斯·班纳赫;蒂尔·坦托 通过\(mathrm{AC}^0\)-电路计算命中集核。 (英语) Zbl 1433.68177号 理论计算。系统。 64,第3期,374-399(2020年).MSC公司:68年第27季度 05C65号 2006年第68季度 68宽10 68瓦40 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bannach}和\textit{T.Tantau},理论计算。系统。64,第3号,374--399(2020;Zbl 1433.68177) 全文: 内政部
罗尔夫·尼德迈尔(编辑);布丽姬·瓦莱(编辑) 计算机科学理论方面专题的前言(2018年)。 (英语) Zbl 1433.68030号 理论计算。系统。 64,第3期,371-373(2020年).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Niedermeier}(编辑)和\textit{B.Vallée}(主编),理论计算。系统。64,第3号,371--373(2020;Zbl 1433.68030) 全文: 内政部