Conference on Computability in Europe最新文献

筛选
英文 中文
Elementary Bi-embeddability Spectra of Structures 结构的基本双嵌入谱
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_35
D. Rossegger
{"title":"Elementary Bi-embeddability Spectra of Structures","authors":"D. Rossegger","doi":"10.1007/978-3-319-94418-0_35","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_35","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"4 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":"133839800","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
A Taxonomy of Deviant Encodings 异常编码的分类
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_34
Paula Quinon
{"title":"A Taxonomy of Deviant Encodings","authors":"Paula Quinon","doi":"10.1007/978-3-319-94418-0_34","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_34","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"368 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":"124617766","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
Divide and Conquer Computation of the Multi-string BWT and LCP Array 多串BWT和LCP阵列的分治算法
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_11
P. Bonizzoni, G. D. Vedova, Serena Nicosia, Yuri Pirola, M. Previtali, Raffaella Rizzi
{"title":"Divide and Conquer Computation of the Multi-string BWT and LCP Array","authors":"P. Bonizzoni, G. D. Vedova, Serena Nicosia, Yuri Pirola, M. Previtali, Raffaella Rizzi","doi":"10.1007/978-3-319-94418-0_11","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_11","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"12 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":"125353364","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
A Generic m-Reducibility 一般的m-可约性
Conference on Computability in Europe Pub Date : 2018-07-30 DOI: 10.1007/978-3-319-94418-0_36
A. Rybalov
{"title":"A Generic m-Reducibility","authors":"A. Rybalov","doi":"10.1007/978-3-319-94418-0_36","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_36","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"15 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":"121838948","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
Algorithms and Geometric Constructions 算法与几何构造
Conference on Computability in Europe Pub Date : 2018-05-31 DOI: 10.1007/978-3-319-94418-0_41
V. Uspenskiy, A. Shen
{"title":"Algorithms and Geometric Constructions","authors":"V. Uspenskiy, A. Shen","doi":"10.1007/978-3-319-94418-0_41","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_41","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133646209","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
Some Nonstandard Equivalences in Reverse Mathematics 逆向数学中的一些非标准等价
Conference on Computability in Europe Pub Date : 2018-04-21 DOI: 10.1007/978-3-319-94418-0_37
Sam Sanders
{"title":"Some Nonstandard Equivalences in Reverse Mathematics","authors":"Sam Sanders","doi":"10.1007/978-3-319-94418-0_37","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_37","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115130628","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
Universality in Freezing Cellular Automata 冻结元胞自动机的通用性
Conference on Computability in Europe Pub Date : 2018-04-20 DOI: 10.1007/978-3-319-94418-0_5
Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier
{"title":"Universality in Freezing Cellular Automata","authors":"Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier","doi":"10.1007/978-3-319-94418-0_5","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_5","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123592839","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
Some Observations on Infinitary Complexity 关于无穷大复杂性的一些观察
Conference on Computability in Europe Pub Date : 2018-01-30 DOI: 10.1007/978-3-319-94418-0_12
M. Carl
{"title":"Some Observations on Infinitary Complexity","authors":"M. Carl","doi":"10.1007/978-3-319-94418-0_12","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_12","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133018702","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
Kernelization Lower Bounds for Finding Constant Size Subgraphs 寻找等大小子图的核化下界
Conference on Computability in Europe Pub Date : 2017-10-20 DOI: 10.1007/978-3-319-94418-0_19
T. Fluschnik, G. Mertzios, A. Nichterlein
{"title":"Kernelization Lower Bounds for Finding Constant Size Subgraphs","authors":"T. Fluschnik, G. Mertzios, A. Nichterlein","doi":"10.1007/978-3-319-94418-0_19","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_19","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115265705","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
A Universal Oracle for Signal Machines 信号机通用Oracle
Conference on Computability in Europe Pub Date : 2017-06-12 DOI: 10.1007/978-3-319-58741-7_30
T. Monteil
{"title":"A Universal Oracle for Signal Machines","authors":"T. Monteil","doi":"10.1007/978-3-319-58741-7_30","DOIUrl":"https://doi.org/10.1007/978-3-319-58741-7_30","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"193 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":"116346388","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学术官方微信