吉尔·巴特;查利·雅科姆;史蒂夫·克莱默 有限域上的普遍等价性和大多数概率程序。 (英语) Zbl 1508.68215号 ACM事务处理。计算。日志。 23,第1号,第5条,第42页(2021年).MSC公司:60年第68季度 2016年11月 68号30 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,ACM Trans。计算。日志。23,第1号,第5条,第42页(2021;兹bl 1508.68215) 全文: 内政部
比斯卡亚,M。;亨利克斯,D。;Mateus,P。 近似Skolem问题的可判定性及其在马尔可夫链动态特性逻辑验证中的应用。 (英语) Zbl 1354.68168号 ACM事务处理。计算。日志。 16,第1号,第4条,第17页(2015年).MSC公司:60年第68季度 03B25号 03B44号 2005年11月 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Biscaia}等人,《美国医学杂志》。计算。日志。16,第1号,第4条,第17页(2015;Zbl 1354.68168) 全文: 内政部
卢·范登·德里斯;Moschovakis,Yiannis N。 算术复杂性。 (英语) Zbl 1367.68116号 ACM事务处理。计算。日志。 10,第1号,第2条,49页(2009年).MSC公司:65年第68季度 2016年11月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.van den Dries}和\textit{Y.N.Moschovakis},ACM Trans。计算。日志。10,第1号,第2条,49页(2009年;Zbl 1367.68116) 全文: 内政部
杰里米·阿维加德;凯文·唐纳利;大卫·格雷;保罗·拉夫 素数定理的一个经过正式验证的证明。 (英语) Zbl 1367.68244号 ACM事务处理。计算。日志。 9,第1号,第2条,23页(2007年).MSC公司:68吨15 03B35型 11A41号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}等人,《美国医学杂志》。计算。日志。9,第1号,第2条,23页(2007年;Zbl 1367.68244) 全文: 内政部 arXiv公司