中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
elementary differences among jump hierarchies

文献类型:会议论文

作者Li Angsheng
出版日期2007
会议名称4th International Conference on Theory and Applications of Models of Computation
会议日期MAY 22-25,
会议地点Shanghai, PEOPLES R CHINA
关键词Chemical compounds Computational methods Crystal lattices Electron energy levels
页码79-88
英文摘要It is shown that Th(H-1) not equal Th(H-n) holds for every n > 1, where H_ is the upper semi-lattice of all high(m) computably enumerable (c.e.) degrees for m > 0, giving a first elementary difference among the highness hierarchies of the c.e.
会议主办者Fudan Univ, Software Sch, Univ Leeds, Univ Wisconsin
会议录Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议录出版者Theory and Applications of Models of Computation, Proceedings
会议录出版地HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
ISSN号0302-9743
ISBN号978-3-540-72503-9
源URL[http://124.16.136.157/handle/311060/11092]  
专题软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式
GB/T 7714
Li Angsheng. elementary differences among jump hierarchies[C]. 见:4th International Conference on Theory and Applications of Models of Computation. Shanghai, PEOPLES R CHINA. MAY 22-25,.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

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