%0 Journal Article %T r/m中的与r中的≤t的关系 %A 眭跃飞? %J 软件学报 %P 745-750 %D 2000 %X 证明存在递归可枚举图灵度a和c使得ca,并且对每个递归可枚举图灵度b≤ta,b≠c,其中a是r/m中的一个元素,r/m是递归可枚举图灵度集r模可盖图灵度集m的商. %K 递归可枚举度 %K 弱真值表归约. %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000605&flag=1