Fuzzy Recursion, RET's, and Isols
暂无分享,去创建一个
[1] Leon Harkleroad. Recursive equivalence types on recursive manifolds , 1979, Notre Dame J. Formal Log..
[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
暂无分享,去创建一个
[1] Leon Harkleroad. Recursive equivalence types on recursive manifolds , 1979, Notre Dame J. Formal Log..
[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .