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

Conference on Computability in Europe最新文献

筛选
英文 中文
Decidable and Undecidable Fragments of First-Order Concatenation Theory 一阶串联理论的可判定与不可判定片段
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_25
L. Kristiansen, Juvenal Murwanashyaka
{"title":"Decidable and Undecidable Fragments of First-Order Concatenation Theory","authors":"L. Kristiansen, Juvenal Murwanashyaka","doi":"10.1007/978-3-319-94418-0_25","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_25","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131709711","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
Algorithm Analysis Through Proof Complexity 通过证明复杂度分析算法
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_26
Massimo Lauria
{"title":"Algorithm Analysis Through Proof Complexity","authors":"Massimo Lauria","doi":"10.1007/978-3-319-94418-0_26","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_26","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122673720","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
Multiple Permitting and Array Noncomputability 多重允许和数组不可计算性
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_3
K. Ambos-Spies
{"title":"Multiple Permitting and Array Noncomputability","authors":"K. Ambos-Spies","doi":"10.1007/978-3-319-94418-0_3","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_3","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124171452","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
A C.E. Weak Truth Table Degree Which Is Array Noncomputable and R-maximal 数组不可计算且r极大的C.E.弱真值表度
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_30
Martin Monath
{"title":"A C.E. Weak Truth Table Degree Which Is Array Noncomputable and R-maximal","authors":"Martin Monath","doi":"10.1007/978-3-319-94418-0_30","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_30","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130847906","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
What Is the Concept of Computation? 计算的概念是什么?
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_39
W. Sieg
{"title":"What Is the Concept of Computation?","authors":"W. Sieg","doi":"10.1007/978-3-319-94418-0_39","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_39","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128838739","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
Computing and Scheduling with Explorable Uncertainty 具有可探索不确定性的计算与调度
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_16
T. Erlebach
{"title":"Computing and Scheduling with Explorable Uncertainty","authors":"T. Erlebach","doi":"10.1007/978-3-319-94418-0_16","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_16","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132731509","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
Computing Tree Width: From Theory to Practice and Back 计算树宽度:从理论到实践再回来
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_8
Sebastian Berndt
{"title":"Computing Tree Width: From Theory to Practice and Back","authors":"Sebastian Berndt","doi":"10.1007/978-3-319-94418-0_8","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_8","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116322164","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
Topological Analysis of Representations 表征的拓扑分析
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_22
M. Hoyrup
{"title":"Topological Analysis of Representations","authors":"M. Hoyrup","doi":"10.1007/978-3-319-94418-0_22","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_22","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"207 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114307932","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
Weak Reduction Principle and Computable Metric Spaces 弱约简原理与可计算度量空间
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_24
M. Korovina, O. Kudinov
{"title":"Weak Reduction Principle and Computable Metric Spaces","authors":"M. Korovina, O. Kudinov","doi":"10.1007/978-3-319-94418-0_24","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_24","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127320299","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 Deontic Logic Reasoning Infrastructure 道义逻辑推理基础结构
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_6
Christoph Benzmüller, X. Parent, Leendert van der Torre
{"title":"A Deontic Logic Reasoning Infrastructure","authors":"Christoph Benzmüller, X. Parent, Leendert van der Torre","doi":"10.1007/978-3-319-94418-0_6","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_6","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123772147","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}
引用次数: 12
首页 上一页 下一页 尾页
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学术官方微信