递归可枚举度

作品数：14被引量：2H指数：1
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：眭跃飞李昂生张再跃钱磊王玮更多>>
相关机构：中国科学院软件研究所扬州大学南京大学云南师范大学更多>>
相关期刊：《数学学报（中文版）》《数学年刊（A辑）》《云南师范大学学报（自然科学版）》《科学通报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
每个非零的 a∈ R/ M中不存在极小元(英文)被引量：1
《软件学报》2000年第11期1425-1429,共5页张再跃 眭跃飞 
国家自然科学基金&&
证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c
关键词：图灵度 递归可枚举度 极小时 
RelatioR/M中的与 R中的≤_T的关系(英文)
《软件学报》2000年第6期745-750,共6页眭跃飞 
国家自然科学基金!No.6 96 730 17&&
证明存在递归可枚举图灵度 a和 c使得 c a,并且对每个递归可枚举图灵度 b≤ Ta,b≠ c,其中 a是 R/M中的一个元素 ,R/ M是递归可枚举图灵度集 R模可盖图灵度集 M的商 .
关键词：递归可枚举度 弱真值表归约 
R_(wtt)/ M_(wtt)中的枝点元素(英文)被引量：1
《软件学报》2000年第4期441-446,共6页张再跃 眭跃飞 
This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ;No.6 96 730 17)
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集
关键词：递归可枚举度 Rwtt/Mwtt 枝点元素 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部