|
|||||
|
|
| R/M中的(≤)与R中的≤T的关系 | |
| 作者姓名： | 眭跃飞 |
| 作者单位： | 中国科学院软件研究所,北京,100080 |
| 摘 要： | 证明存在递归可枚举图灵度a和c使得c(≤)a,并且对每个递归可枚举图灵度b≤Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商. |
| 关 键 词： | 递归可枚举度 弱真值表归约 |
| 本文献已被 万方数据 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |