期刊名称：Electronic Colloquium on Computational Complexity
印刷版ISSN：1433-8092
出版年度：2001
卷号：2001
出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
摘要：We extend the concept of recursive definition on analytic functions. For special cases of linear primitive recursive definitions we show the existence of natural continuations of the over \N primitive recursive functions to analytic functions. Especially, we show that solutions exist if the coefficients of the linear recursive equation are rational functions. We also give criteria which lead to a unique continuation of a primitive recursive function.
