ISCAS OpenIR  > 基础软件与系统重点实验室
principal filters definable by parameters in e-bt
Li Angsheng; Li Weilin; Pani Yicheng; Tang Linqing
2009
会议名称4th International Conference on Theory and Applications of Models of Computation
会议日期MAY 22-25,
会议地点Shanghai, PEOPLES R CHINA
出版地32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA
出版者MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
ISSN0960-1295
部门归属Li, Angsheng Chinese Acad Sci, State Key Lab Comp Sci, Beijing 100080, Peoples R China. Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.
摘要We show that there exist c.e. bounded Turing degrees a, b such that 0 < a < 0, and that for any c.e. bounded Turing degree x, we have b boolean OR x = 0 if and only if x >= a. The result gives an unexpected definability theorem in the structure of bounded Turing reducibility.
主办者Fudan Univ, Software Sch, Univ Leeds, Univ Wisconsin
WOS记录号WOS:000264418400011
引用统计
内容类型会议论文
URI标识http://ir.iscas.ac.cn/handle/311060/8196
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
Li Angsheng,Li Weilin,Pani Yicheng,et al. principal filters definable by parameters in e-bt[C]. 32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,2009.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Li Angsheng]的文章
[Li Weilin]的文章
[Pani Yicheng]的文章
百度学术
百度学术中相似的文章
[Li Angsheng]的文章
[Li Weilin]的文章
[Pani Yicheng]的文章
必应学术
必应学术中相似的文章
[Li Angsheng]的文章
[Li Weilin]的文章
[Pani Yicheng]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。