%0 Journal Article
%T 基于相对可计算性理论的过程模式可计算泛函
%A 张晓如
%A 张再跃
%J 江苏科技大学学报(自然科学版)
%D 2007
%X ？研究了无穷计算的基本性质,引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。
%K 过程模式可计算泛函
%K 部分递归泛函
%K 无穷计算
%U http://journal.just.edu.cn/jweb_zkb/CN/abstract/abstract1474.shtml