部分递归泛函相关硕士博士期刊学术论文 - 搜论网

部分递归泛函相关论文

基于相对可计算性理论的过程模式可计算泛函

研究了无穷计算的基本性质，引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较，证明了过程模式可计算泛函......

期刊

过程模式可计算泛函部分递归泛函无穷计算 procedure scheme computable functional partial recursive f

看过本文同时还关注