赫尔穆特·帕奇;彼得·佩珀 递归移除的一系列规则。 （英语） Zbl 0345.68011号 信息处理。莱特。 5, 174-177 (1976). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于6文件 MSC公司： 68号01 软件理论的一般主题 68瓦99 计算机科学中的算法 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{H.Partsch}和\textit{P.Pepper}，Inf.工艺。莱特。5174--177（1976年；Zbl 0345.68011） 全文： DOI程序 参考文献： [1] 霍尔，C.A.R.，《计算机编程的公理化基础》，美国计算机学会，12583（1969）·Zbl 0179.23105号 [2] 库珀，D.C.，《某些计算的等价性》，Comp。J.，9，45-52（1966年）·兹伯利0173.19005 [3] J.达林顿。；Burstall，R.M.，《自动改进程序的系统》，斯坦福大学。斯坦福，Proc。第三名实习生。艺术品Conf。智力。，479-485 (1973) ·Zbl 0395.68017号 [4] 帕特森，M.S。；Hewitt，E.C.，比较模式学，（项目MAC Conf.关于并发系统和并行计算的记录（1970），ACM:ACM纽约），119-127·Zbl 0401.68002号 [5] Strong，H.R.，《将递归方程转化为流程图》，纽约，纽约，Proc。第二届ACM年会。计算理论。纽约州纽约州。第二届ACM年会。计算理论，J.CSS，5，245-285（1971）·Zbl 0239.68002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。