发布求助
文献互助 智能选刊 最新文献

Computability and Complexity最新文献

筛选
英文 中文
Surfing with Rod 带杆冲浪
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_2
M. Fellows
{"title":"Surfing with Rod","authors":"M. Fellows","doi":"10.1007/978-3-319-50062-1_2","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_2","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"230 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121964216","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Survey of Results on the d-c.e. and n-c.e. Degrees d- ce考试结果调查。和n-c.e。度
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_27
M. Arslanov, I. Kalimullin
{"title":"A Survey of Results on the d-c.e. and n-c.e. Degrees","authors":"M. Arslanov, I. Kalimullin","doi":"10.1007/978-3-319-50062-1_27","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_27","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115827221","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Lattice of Computably Enumerable Vector Spaces 可计算枚举向量空间的格
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_23
R. Dimitrov, V. Harizanov
{"title":"The Lattice of Computably Enumerable Vector Spaces","authors":"R. Dimitrov, V. Harizanov","doi":"10.1007/978-3-319-50062-1_23","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_23","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131496309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Cameo of a Consummate Computabilist 一个完美的计算学家的客串
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_1
R. Goldblatt
{"title":"Cameo of a Consummate Computabilist","authors":"R. Goldblatt","doi":"10.1007/978-3-319-50062-1_1","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_1","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131192571","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey 重新审视统一可计算范畴:纪念罗德·唐尼教授60岁生日
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_18
Russell G. Miller
{"title":"Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey","authors":"Russell G. Miller","doi":"10.1007/978-3-319-50062-1_18","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_18","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131319792","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Nondensity of Double Bubbles in the D.C.E. Degrees 双气泡在D.C.E.度中的非密度
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_33
U. Andrews, R. Kuyper, S. Lempp, M. Soskova, M. Yamaleev
{"title":"Nondensity of Double Bubbles in the D.C.E. Degrees","authors":"U. Andrews, R. Kuyper, S. Lempp, M. Soskova, M. Yamaleev","doi":"10.1007/978-3-319-50062-1_33","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_33","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122307778","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Σ _1^1 in Every Real in a Σ _1^1 Class of Reals Is Σ _1^1 Σ _1^1实数中所有实数的Σ _1^1等于Σ _1^1
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_26
L. Harrington, R. Shore, T. Slaman
{"title":"Σ _1^1 in Every Real in a Σ _1^1 Class of Reals Is Σ _1^1","authors":"L. Harrington, R. Shore, T. Slaman","doi":"10.1007/978-3-319-50062-1_26","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_26","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121533059","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Herrmann's Beautiful Theorem on Computable Partial Orderings 关于可计算偏序的Herrmann美丽定理
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_10
C. Jockusch
{"title":"Herrmann's Beautiful Theorem on Computable Partial Orderings","authors":"C. Jockusch","doi":"10.1007/978-3-319-50062-1_10","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_10","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"984 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133070835","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Injection Structures Specified by Finite State Transducers 有限状态传感器指定的注入结构
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_24
S. Buss, D. Cenzer, Mia Minnes, J. Remmel
{"title":"Injection Structures Specified by Finite State Transducers","authors":"S. Buss, D. Cenzer, Mia Minnes, J. Remmel","doi":"10.1007/978-3-319-50062-1_24","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_24","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117103065","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
1-Generic Degrees Bounding Minimal Degrees Revisited 1-通用度边界最小度重新访问
Computability and Complexity Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-50062-1_32
C. Chong
{"title":"1-Generic Degrees Bounding Minimal Degrees Revisited","authors":"C. Chong","doi":"10.1007/978-3-319-50062-1_32","DOIUrl":"https://doi.org/10.1007/978-3-319-50062-1_32","url":null,"abstract":"","PeriodicalId":309016,"journal":{"name":"Computability and Complexity","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129423325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信