Pub Date : 2022-04-28DOI: 10.1007/978-3-031-08740-0_13
B. Kjos-Hanssen, David J. Webb
{"title":"Strong Medvedev Reducibilities and the KL-Randomness Problem","authors":"B. Kjos-Hanssen, David J. Webb","doi":"10.1007/978-3-031-08740-0_13","DOIUrl":"https://doi.org/10.1007/978-3-031-08740-0_13","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129147983","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 : 2022-02-21DOI: 10.1007/978-3-031-08740-0_11
L. Hella, Miikka Vilander
{"title":"Defining long words succinctly in FO and MSO","authors":"L. Hella, Miikka Vilander","doi":"10.1007/978-3-031-08740-0_11","DOIUrl":"https://doi.org/10.1007/978-3-031-08740-0_11","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125021674","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 : 2021-12-30DOI: 10.1007/978-3-030-80049-9_21
A. Gafurov, T. Vinař, Broňa Brejová
{"title":"Probabilistic Models of k-mer Frequencies (Extended Abstract)","authors":"A. Gafurov, T. Vinař, Broňa Brejová","doi":"10.1007/978-3-030-80049-9_21","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_21","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114782961","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 : 2021-07-05DOI: 10.1007/978-3-030-80049-9_27
L. Kolodziejczyk, K. Yokoyama
{"title":"In Search of the First-Order Part of Ramsey's Theorem for Pairs","authors":"L. Kolodziejczyk, K. Yokoyama","doi":"10.1007/978-3-030-80049-9_27","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_27","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131534509","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 : 2021-07-05DOI: 10.1007/978-3-030-80049-9_41
A. Sorbi
{"title":"Effective Inseparability and Its Applications","authors":"A. Sorbi","doi":"10.1007/978-3-030-80049-9_41","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_41","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114822539","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 : 2021-07-05DOI: 10.1007/978-3-030-80049-9_25
Ardalan Khazraei, Timo Kötzing, Karen Seidel
{"title":"Towards a Map for Incremental Learning in the Limit from Positive and Negative Information","authors":"Ardalan Khazraei, Timo Kötzing, Karen Seidel","doi":"10.1007/978-3-030-80049-9_25","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_25","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121908795","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 : 2021-06-10DOI: 10.1007/978-3-030-80049-9_39
Sam Sanders
{"title":"Splittings and Robustness for the Heine-Borel Theorem","authors":"Sam Sanders","doi":"10.1007/978-3-030-80049-9_39","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_39","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131552317","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 : 2021-04-28DOI: 10.1007/978-3-030-80049-9_45
B. Kjos-Hanssen, David J. Webb
{"title":"KL-Randomness and Effective Dimension Under Strong Reducibility","authors":"B. Kjos-Hanssen, David J. Webb","doi":"10.1007/978-3-030-80049-9_45","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_45","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134517687","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 : 2021-04-27DOI: 10.1007/978-3-030-80049-9_5
Samuel Birns, B. Kjos-Hanssen
{"title":"On the Degrees of Constructively Immune Sets","authors":"Samuel Birns, B. Kjos-Hanssen","doi":"10.1007/978-3-030-80049-9_5","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_5","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127095220","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
扫码关注我们
求助内容：
应助结果提醒方式：