切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一个高的钻石定理
一个高的钻石定理
来源 :软件学报 | 被引量 : 0次 | 上传用户:good240
【摘 要】
:
证明存在一个保持最大元1的可计算枚举高度的钻石格。
【作 者】
:
李昂生
杨东屏
【机 构】
:
中国科学院软件研究所
【出 处】
:
软件学报
【发表日期】
:
2000年1期
【关键词】
:
可计算性理论
可计算枚举度
钻石定理
Computability theory
computably enumerable set
computably e
【基金项目】
:
国家自然科学基金! ,,No.6 99730 4 8,,国家 8 6 3高科技项目基金!No.86 3- 30 6 - 0 5- 0 9- 2 B,,中国科学院青年基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
证明存在一个保持最大元1的可计算枚举高度的钻石格。
其他文献
高效的动态组播群通信认证签字方案
由于组播群组的动态性和数据传送的不可靠性,相对于点到点通信,组播通信的安全认证更为复杂.在组播数据发送源认证问题中,签字的速度和长度是实现认证的主要障碍.为了解决这
期刊
组播通信
数字签字
安全认证
计算机网络
Multicasting
Network protocols
Security of data
多性能目标分组调度策略
在高速分组交换网络中,分组调度策略和算法的设计是一个关键问题,由于网络分组调度策略有着多方面性能的要求,如何同时满足多个性能目标是当前的研究难点,基于比例公平性原则,提出
期刊
多性能目标
分组调度策略
服务质量
高速分组交换网络
计算机网络
比例公平性原则
proportional fairness principle
packet
其他学术论文