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

Conference on Computability in Europe最新文献

筛选
英文 中文
Recent Advances in the Computation of the Homology of Semialgebraic Sets 半代数集同调计算的新进展
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_1
F. Cucker
{"title":"Recent Advances in the Computation of the Homology of Semialgebraic Sets","authors":"F. Cucker","doi":"10.1007/978-3-030-22996-2_1","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_1","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"42 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113976090","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}
引用次数: 5
The d.r.e wtt-Degrees are Dense 博士学位是密集的
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_24
Shaoyi Wang, Guohua Wu, M. Yamaleev
{"title":"The d.r.e wtt-Degrees are Dense","authors":"Shaoyi Wang, Guohua Wu, M. Yamaleev","doi":"10.1007/978-3-030-22996-2_24","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_24","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"29 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121762021","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
Study of Stepwise Simulation Between ASM ASM间逐步仿真研究
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_14
P. Cégielski, J. Cervelle
{"title":"Study of Stepwise Simulation Between ASM","authors":"P. Cégielski, J. Cervelle","doi":"10.1007/978-3-030-22996-2_14","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_14","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115610003","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
A Note on the Ordinal Analysis of mathbf RCA_0 + mathrm WO(mathbf σ ) RCA 0 + WO ( σ ) mathbf RCA_0 + mathbf WO(mathbf σ) RCA 0 + WO(σ)的序数分析注
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_13
L. Carlucci, L. Mainardi, M. Rathjen
{"title":"A Note on the Ordinal Analysis of mathbf RCA_0 + mathrm WO(mathbf σ ) RCA 0 + WO ( σ )","authors":"L. Carlucci, L. Mainardi, M. Rathjen","doi":"10.1007/978-3-030-22996-2_13","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_13","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134106742","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
Representations of Natural Numbers and Computability of Various Functions 自然数的表示与各种函数的可计算性
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_26
Michal Wroclawski
{"title":"Representations of Natural Numbers and Computability of Various Functions","authors":"Michal Wroclawski","doi":"10.1007/978-3-030-22996-2_26","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_26","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"45 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120857298","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
Non-Recursive Trade-Offs Are "Almost Everywhere" 非递归权衡“几乎无处不在”
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_3
M. Holzer, Martin Kutrib
{"title":"Non-Recursive Trade-Offs Are \"Almost Everywhere\"","authors":"M. Holzer, Martin Kutrib","doi":"10.1007/978-3-030-22996-2_3","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_3","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127193607","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
On the Differences and Sums of Strongly Computably Enumerable Real Numbers 强可计算枚举实数的差与和
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_27
K. Ambos-Spies, Xizhong Zheng
{"title":"On the Differences and Sums of Strongly Computably Enumerable Real Numbers","authors":"K. Ambos-Spies, Xizhong Zheng","doi":"10.1007/978-3-030-22996-2_27","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_27","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"311 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115936570","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
An algorithmic approach to characterizations of admissibles 一种可采证据特征描述的算法方法
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_16
B. Durand, Grégory Lafitte
{"title":"An algorithmic approach to characterizations of admissibles","authors":"B. Durand, Grégory Lafitte","doi":"10.1007/978-3-030-22996-2_16","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_16","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128082785","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
Kalmár's Argument for the Independence of Computer Science Kalmár关于计算机科学独立的论述
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_23
M. Szabó
{"title":"Kalmár's Argument for the Independence of Computer Science","authors":"M. Szabó","doi":"10.1007/978-3-030-22996-2_23","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_23","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"196 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116365134","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
More Intensional Versions of Rice's Theorem 赖斯定理的更多内涵版本
Conference on Computability in Europe Pub Date : 2019-07-15 DOI: 10.1007/978-3-030-22996-2_19
Jean-Yves Moyen, J. Simonsen
{"title":"More Intensional Versions of Rice's Theorem","authors":"Jean-Yves Moyen, J. Simonsen","doi":"10.1007/978-3-030-22996-2_19","DOIUrl":"https://doi.org/10.1007/978-3-030-22996-2_19","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123587930","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}
引用次数: 6
首页 上一页 下一页 尾页
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学术官方微信