Pub Date : 2018-07-30DOI: 10.1007/978-3-319-94418-0_38
S. Selivanova, V. Selivanov
{"title":"Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract)","authors":"S. Selivanova, V. Selivanov","doi":"10.1007/978-3-319-94418-0_38","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_38","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"95 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":"127667666","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_10
Achilles A. Beros, Mushfeq Khan, B. Kjos-Hanssen, A. Nies
{"title":"From Eventually Different Functions to Pandemic Numberings","authors":"Achilles A. Beros, Mushfeq Khan, B. Kjos-Hanssen, A. Nies","doi":"10.1007/978-3-319-94418-0_10","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_10","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":"125377329","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_7
Ulrich Berger, Olga Petrovska
{"title":"Optimized Program Extraction for Induction and Coinduction","authors":"Ulrich Berger, Olga Petrovska","doi":"10.1007/978-3-319-94418-0_7","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_7","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"11 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":"123324054","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_28
T. McNicholl, D. M. Stull
{"title":"The Isometry Degree of a Computable Copy of 𝓁p","authors":"T. McNicholl, D. M. Stull","doi":"10.1007/978-3-319-94418-0_28","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_28","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"26 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":"128971268","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_21
D. Graça, Ning Zhong
{"title":"Computability of Ordinary Differential Equations","authors":"D. Graça, Ning Zhong","doi":"10.1007/978-3-319-94418-0_21","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_21","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"31 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":"132046651","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_1
B. Khoussainov
{"title":"A Journey to Computably Enumerable Structures (Tutorial Lectures)","authors":"B. Khoussainov","doi":"10.1007/978-3-319-94418-0_1","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_1","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"71 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":"132190809","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_4
N. Bazhenov, M. Marchuk
{"title":"Degrees of Categoricity for Prime and Homogeneous Models","authors":"N. Bazhenov, M. Marchuk","doi":"10.1007/978-3-319-94418-0_4","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_4","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"24 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":"115146775","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_31
Marie Nicholson
{"title":"The Complexity of Tukey Types and Cofinal Types","authors":"Marie Nicholson","doi":"10.1007/978-3-319-94418-0_31","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_31","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"37 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":"129670947","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_27
Joao Marques-Silva
{"title":"Computing with SAT Oracles: Past, Present and Future","authors":"Joao Marques-Silva","doi":"10.1007/978-3-319-94418-0_27","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_27","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"140 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":"127503634","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 : 2018-07-30DOI: 10.1007/978-3-319-94418-0_14
D. Cenzer, Diego A. Rojas
{"title":"Online Computability and Differentiation in the Cantor Space","authors":"D. Cenzer, Diego A. Rojas","doi":"10.1007/978-3-319-94418-0_14","DOIUrl":"https://doi.org/10.1007/978-3-319-94418-0_14","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"89 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":"133633245","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
扫码关注我们
求助内容：
应助结果提醒方式：