递归可枚举度

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=科学通报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于相对反杯性质的一个结果
《科学通报》1995年第22期2022-2025,共4页张再跃 
国家863高科技项目基金资助
1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术...
关键词：递归可枚举度 递归论 反杯性质 递归函数 
准邻接度的格嵌入性质
《科学通报》1992年第23期2200-2202,共3页钱磊 郑锡忠 
国家自然科学基金
所谓邻接(Contiguous)度是指只含一个递归可枚举(简称r.e.)的wtt-度的r.e.图灵度。Stob和Ambos-spies研究了邻接度的存在性与格嵌入等问题。本文将研究的是一种与邻接度十分相似的度——准邻接度,并讨论其格嵌入性质。
关键词：递归可枚举度 准邻接度 格嵌入 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部