%0 Journal Article %T R/M中的与R中的≤T的关系 %A 眭跃飞 %J 软件学报 %D 2000 %I %X 证明存在递归可枚举图灵度a和c使得ca,并且对每个递归可枚举图灵度b≤Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商. %K 递归可枚举度,弱真值表归约. %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=F4C7C32DCB7D8FBC416C6D22519EDF51&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=B31275AF3241DB2D&sid=04EA291949415E08&eid=626A0FE8E3130AB5&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=4