兰斯·克莱维兰;Jeroen J.A.Keiren。 无限状态系统的可扩展证明系统。 (英语) Zbl 07807740号 ACM事务处理。计算。日志。 25,第1号,第2号论文,60页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{J.J.A.Keiren},ACM Trans。计算。日志。25,第1号,第2号论文,60页(2023;Zbl 07807740) 全文: 内政部 arXiv公司 OA许可证
格尔盖·巴纳;罗希特·查达;阿杰·库马尔·埃拉拉;冈田三弘 基于不可区分性的计算完全符号攻击者的验证方法。 (英语) Zbl 1433.68075号 ACM事务处理。计算。日志。 21,第1号,第2条,44页(2020年).MSC公司:68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bana}等人,ACM Trans。计算。日志。21,第1号,第2条,44页(2020年;Zbl 1433.68075) 全文: 内政部
弗洛里安·拉贝 一种模块化重建算法。 (英语) 兹比尔1407.68440 ACM事务处理。计算。日志。 第19条第4款第24条第43页(2018年).MSC公司:68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe},ACM翻译。计算。日志。19,第4号,第24条,43页(2018;Zbl 1407.68440) 全文: 内政部
小岛贤介;Atsushi Igarashi GPU内核的Hoare逻辑。 (英语) Zbl 1367.68066号 ACM事务处理。计算。日志。 18,第1号,第3条,43页(2017年).MSC公司:68号30 03B70号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}和\textit{A.Igarashi},ACM翻译。计算。日志。18,第1号,第3条,43页(2017年;Zbl 1367.68066) 全文: 内政部
阿列克西·舒伯特;乌日琴,Paweł;Daria Walukiewicz-Chrząszcz 积极量化有多难? (英语) 兹比尔1367.03021 ACM事务处理。计算。日志。 17号第4条第30条第29页(2016年).MSC公司:03B20型 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Schubert}等人,ACM Trans。计算。日志。17,第4号,第30条,第29页(2016年;Zbl 1367.03021) 全文: 内政部
克里斯蒂娜·索贾科娃 环面与两个圆的乘积的等价性。 (英语) Zbl 1367.03018号 ACM事务处理。计算。日志。 17号第4条第29条第19页(2016年).MSC公司:03B15号机组 03G30型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{K.Sojakova},ACM翻译。计算。日志。17,第4号,第29条,第19页(2016;Zbl 1367.03018) 全文: 内政部 arXiv公司
Leino,K.Rustan M。;帕基·卢西奥 自然Mergesort稳定性和正确性的断言证明。 (英语) Zbl 1367.68080号 ACM事务处理。计算。日志。 17,第1号,第6条,22页(2015年).MSC公司:68页第10页 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{P.Lucio},ACM Trans。计算。日志。17,第1号,第6条,22页(2015;Zbl 1367.68080) 全文: 内政部
安德烈亚·阿斯佩蒂 通过有限类型计算复杂性。 (英语) Zbl 1354.68091号 ACM事务处理。计算。日志。 第16号第3条第26条第25页(2015年).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti},ACM翻译。计算。日志。16,第3号,第26条,25页(2015;Zbl 1354.68091) 全文: 内政部
玛丽亚·波扎;塞萨尔·多明格斯;乔纳森·赫拉斯;朱利奥·鲁比奥 用于同源图像处理的经认证的简化策略。 (英语) 兹比尔1354.68286 ACM事务处理。计算。日志。 第15号第3条第23条第23页(2014年).MSC公司:68单位10 03B35型 55单元15 68吨15 92C55 PDF格式BibTeX公司 XML格式引用 \textit{M.Poza}等人,ACM Trans。计算。日志。第15号第3条第23条第23页(2014年;Zbl 1354.68286) 全文: 内政部 arXiv公司
乔纳森·赫拉斯;可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 计算Coq/SSReflect中的持久同源性。 (英语) Zbl 1353.68251号 ACM事务处理。计算。日志。 第14号第4条第26条第16页(2013年).MSC公司:68吨15 03B35型 55号35 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人,ACM Trans。计算。日志。14,第4号,第26条,第16页(2013;Zbl 1353.68251) 全文: 内政部 arXiv公司
劳伦斯·C·鲍尔森。 Isabelle的机械化团结。 (英语) Zbl 1365.68379号 ACM事务处理。计算。日志。 1,第1期,3-32(2000).MSC公司:68吨15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson},ACM翻译。计算。日志。1,第1号,第3--32号(2000年;Zbl 1365.68379) 全文: 内政部