Turing-BSS归约相关硕士博士期刊学术论文

在已有文献的基础上，引入实数域上的相对计算和图灵归约，并对经典可计算理论中的Ｐｏｓｔ问题，在实数域上进行进一步深入的讨论，找出并证明了一......