西蒙·福斯特;乔治·斯特鲁斯 关于正则代数的精细结构。 (英语) Zbl 1331.68128号 J.自动化。推理 54,第2期,165-197(2015).MSC公司:65年第68季度 70年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}和\textit{G.Struth},J.奥托姆。推理54,No.2,165--197(2015;Zbl 1331.68128) 全文: 内政部 链接
西尔维·博尔多;雅克·亨利·乔尔丹;泽维尔·勒罗伊;纪尧姆·梅尔金德 已验证浮点计算的编译。 (英语) Zbl 1331.68047号 J.自动化。推理 54,第2期,135-163(2015).MSC公司:68N20型 65克50 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,J.Autom。推理54,No.2,135--163(2015;Zbl 1331.68047) 全文: 内政部 哈尔
哈拉尔赞克尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 减少图表的标签。 (英语) Zbl 1315.68226号 J.自动化。推理 54,第2期,101-133(2015).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zankl}等人,J.Autom。推理54,No.2,101--133(2015;Zbl 1315.68226) 全文: 内政部