the low splitting theorem in the difference hierarchy

ISCAS OpenIR

	the low splitting theorem in the difference hierarchy
	Li AS
	2005
会议名称	1st Conference on Computability in Europe (CiE 2005)
会议录名称	Lecture Notes in Computer Science
页码	287-296
会议日期	JUN 08-12,
会议地点	Amsterdam, NETHERLANDS
收录类别	sci ; istp ; ei
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	NEW COMPUTATIONAL PARADIGMS
ISSN	0302-9743
ISBN	3-540-26179-6
部门归属	Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.
摘要	It is shown that for any 2-computably enumerable Turing degrees a, l, if l = 0, and l < a, then there are 2-computably enumerable Turing degrees x(0), x(1) such that both l < x(0), x(1) < a and x(0) boolean OR x(1) = a hold, extending the Robi
关键词	Computational Complexity Computational Methods Hierarchical Systems Theorem Proving
主办者	Koninklijke Nederlandse Akademie van Wetenschappen, KNAW; De Nederlandse Organisatie voor Wetenschappelijk Onderzoek, NWO; European Association for Theoretical Computer Science, EATCS; Association for Symbolic Logic, ASL
语种	英语
WOS记录号	WOS:000230476300035
引用统计	被引频次：2[WOS] [WOS记录] [WOS相关记录]
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12746
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Li AS. the low splitting theorem in the difference hierarchy[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:NEW COMPUTATIONAL PARADIGMS,2005:287-296.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
the low splitting th（156KB）			开放获取	--	请求全文