递归可枚举度

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=数学学报（中文版）x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
递归可枚举度临界性问题的一个结果(Ⅰ)
《数学学报（中文版）》1993年第5期654-661,共8页李昂生 眭跃飞 
国家自然科学基金;国家青年自然科学基金资助;云南省基础应用研究基金
本文证明:对任 cappable r.e.度■,存在 r.e.度■和■使得■>■,■∧■=0且对任 r.e.度■,如果■且■,那么■∧■≠■.
关键词：递归可枚举度 临界性 主子度 
递归可枚举度的强分解定理被引量：1
《数学学报（中文版）》1992年第2期251-256,共6页李昂生 
本文将证明,对任 r.e.度(?),存在 r.e.度(?),(?),(?),和(?)使得(?)<(?),(?)<(?),(?)<(?)≤(?),(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?),如果(?),那么(?)∩(?).这结果的一个立即推论是,对任 r.e.度(?),存在(?)<(?)使[(?)]中一切(?)-c...
关键词：递归可枚举度 强分解定理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部