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

Conference on Computability in Europe最新文献

筛选
英文 中文
On Higher Effective Descriptive Set Theory 论更高有效描述集论
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_27
M. Korovina, O. Kudinov
{"title":"On Higher Effective Descriptive Set Theory","authors":"M. Korovina, O. Kudinov","doi":"10.1007/978-3-319-58741-7_27","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_27","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130407946","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
Flexible Indexing of Repetitive Collections 重复馆藏的灵活索引
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_17
D. Belazzougui, F. Cunial, T. Gagie, N. Prezza, M. Raffinot
{"title":"Flexible Indexing of Repetitive Collections","authors":"D. Belazzougui, F. Cunial, T. Gagie, N. Prezza, M. Raffinot","doi":"10.1007/978-3-319-58741-7_17","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_17","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"37 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130617297","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}
引用次数: 11
The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters 具有有序参数的无限时间图灵机的识别强度
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_20
M. Carl, Philipp Schlicht
{"title":"The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters","authors":"M. Carl, Philipp Schlicht","doi":"10.1007/978-3-319-58741-7_20","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_20","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122772014","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
Delayed-Input Cryptographic Protocols 延迟输入加密协议
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_12
Ivan Visconti
{"title":"Delayed-Input Cryptographic Protocols","authors":"Ivan Visconti","doi":"10.1007/978-3-319-58741-7_12","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_12","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134550062","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
Counting Substrate Cycles in Topologically Restricted Metabolic Networks 在拓扑限制代谢网络中计数底物循环
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_14
Robert D. Barish, A. Suyama
{"title":"Counting Substrate Cycles in Topologically Restricted Metabolic Networks","authors":"Robert D. Barish, A. Suyama","doi":"10.1007/978-3-319-58741-7_14","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_14","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"243 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115073890","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
Outline of Partial Computability in Computable Topology 可计算拓扑中部分可计算性概述
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_7
M. Korovina, O. Kudinov
{"title":"Outline of Partial Computability in Computable Topology","authors":"M. Korovina, O. Kudinov","doi":"10.1007/978-3-319-58741-7_7","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_7","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"8 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113965029","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
Formalizing a Fragment of Combinatorics on Words 形式化一个词的组合碎片
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_3
S. Holub, R. Veroff
{"title":"Formalizing a Fragment of Combinatorics on Words","authors":"S. Holub, R. Veroff","doi":"10.1007/978-3-319-58741-7_3","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_3","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133521006","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
Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT 全不确定性图灵机与SAT的p-最优证明系统
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_34
Zenon Sadowski
{"title":"Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT","authors":"Zenon Sadowski","doi":"10.1007/978-3-319-58741-7_34","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_34","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132797444","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
Gödel's Reception of Turing's Model of Computability: The "Shift of Perception" in 1934 Gödel对图灵可计算模型的接受:1934年的“观念转变”
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_5
J. Kennedy
{"title":"Gödel's Reception of Turing's Model of Computability: The \"Shift of Perception\" in 1934","authors":"J. Kennedy","doi":"10.1007/978-3-319-58741-7_5","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_5","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127069688","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
Permutive One-Way Cellular Automata and the Finiteness Problem for Automaton Groups 永续单向元胞自动机与自动机群的有限性问题
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_23
M. Delacourt, Nicolas Ollinger
{"title":"Permutive One-Way Cellular Automata and the Finiteness Problem for Automaton Groups","authors":"M. Delacourt, Nicolas Ollinger","doi":"10.1007/978-3-319-58741-7_23","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_23","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128919829","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}
引用次数: 7
首页 上一页
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学术官方微信