Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
Pub Date : 2017-06-12DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：