史蒂夫·邓恩;费雷拉,乔昂·F·。;亚历山大·门德斯;坎贝尔·里奇;比尔·斯托达特;泽达,弗兰克 BGSL:回溯程序规范和细化的命令式语言。 (英语) Zbl 07618118号 J.日志。阿尔盖布。方法计划。 130,文章ID 100811,第14页(2023).MSC公司:68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Dunne}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100811,14 p.(2023;Zbl 07618118) 全文: 内政部
费雷拉,若昂·费雷拉。;亚历山大·门德斯 通过矩阵代数计算Eisenstein-Stern和Stern-Brocot树的基于路径的属性。 (英语) Zbl 1366.05025号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,906-920(2016).MSC公司:05二氧化碳 11A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Ferreira}和\textit{A.Mendes},J.Log。阿尔盖布。方法计划。85,第5号,第2部分,906--920(2016;Zbl 1366.05025) 全文: 内政部