A.佩特罗西。;布尔斯塔尔，R.M。 使用程序转换技术导出评估线性递归关系的非常有效的算法。 （英语） Zbl 0474.68008号 学报信息。 18, 181-206 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4个 +5 显示扫描页面 引用于3文件 MSC公司： 68号01 软件理论的一般主题 65年第68季度 算法和问题复杂性分析 2016年60月 半环 68T99型 人工智能 关键词：程序综合;半环的算法;斐波那契函数;矩阵求幂算法;变换技术;逐步细化 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{R.M.Burstall}，《信息学报》18，181--206（1982；Zbl 0474.68008） 全文： 内政部