callback( { "result":{ "query":":facetid:stream:\"streams/journals/computability\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"241.26" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"179", "@dc":"179", "@oc":"179", "@id":"43260189", "text":":facetid:stream:streams/journals/computability" } }, "hits":{ "@total":"179", "@computed":"179", "@sent":"179", "@first":"0", "hit":[{ "@score":"1", "@id":"102405", "info":{"authors":{"author":{"@pid":"223/4954","text":"Pavel Alaev"}},"title":"Inversion operations in algebraic structures.","venue":"Comput.","volume":"12","number":"4","pages":"315-322","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/Alaev23","doi":"10.3233/COM-230459","ee":"https://doi.org/10.3233/COM-230459","url":"https://dblp.org/rec/journals/computability/Alaev23"}, "url":"URL#102405" }, { "@score":"1", "@id":"102406", "info":{"authors":{"author":[{"@pid":"a/EAllender","text":"Eric Allender"},{"@pid":"136/2160","text":"Nikhil Balaji"},{"@pid":"71/4016","text":"Samir Datta"},{"@pid":"00/10670","text":"Rameshwar Pratap"}]},"title":"On the complexity of algebraic numbers, and the bit-complexity of straight-line programs.","venue":"Comput.","volume":"12","number":"2","pages":"145-173","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/AllenderBDP23","doi":"10.3233/COM-220407","ee":"https://doi.org/10.3233/COM-220407","url":"https://dblp.org/rec/journals/computability/AllenderBDP23"}, "url":"URL#102406" }, { "@score":"1", "@id":"102407", "info":{"authors":{"author":[{"@pid":"322/9822","text":"Djamel Eddine Amir"},{"@pid":"86/1356","text":"Mathieu Hoyrup"}]},"title":"Strong computable type.","venue":"Comput.","volume":"12","number":"3","pages":"227-269","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/AmirH23","doi":"10.3233/COM-220430","ee":"https://doi.org/10.3233/COM-220430","url":"https://dblp.org/rec/journals/computability/AmirH23"}, "url":"URL#102407" }, { "@score":"1", "@id":"102408", "info":{"authors":{"author":[{"@pid":"84/9206","text":"Uri Andrews"},{"@pid":"54/8976","text":"Mingzhong Cai"},{"@pid":"49/7224","text":"David Diamondstone"},{"@pid":"124/3180","text":"Noah Schweber"}]},"title":"Limit computability and ultrafilters.","venue":"Comput.","volume":"12","number":"2","pages":"101-115","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/AndrewsCDS23","doi":"10.3233/COM-170176","ee":"https://doi.org/10.3233/COM-170176","url":"https://dblp.org/rec/journals/computability/AndrewsCDS23"}, "url":"URL#102408" }, { "@score":"1", "@id":"102409", "info":{"authors":{"author":[{"@pid":"163/9832","text":"Nikolay Bazhenov"},{"@pid":"94/7632","text":"Takayuki Kihara"},{"@pid":"48/6760","text":"Svetlana Selivanova"}]},"title":"Preface.","venue":"Comput.","volume":"12","number":"4","pages":"299","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/BazhenovKS23","doi":"10.3233/COM-230952","ee":"https://doi.org/10.3233/COM-230952","url":"https://dblp.org/rec/journals/computability/BazhenovKS23"}, "url":"URL#102409" }, { "@score":"1", "@id":"102410", "info":{"authors":{"author":[{"@pid":"163/9832","text":"Nikolay Bazhenov"},{"@pid":"94/7632","text":"Takayuki Kihara"},{"@pid":"48/6760","text":"Svetlana Selivanova"},{"@pid":"s/DieterSpreen","text":"Dieter Spreen"}]},"title":"On the main scientific achievements of Victor Selivanov.","venue":"Comput.","volume":"12","number":"4","pages":"301-314","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/BazhenovKSS23","doi":"10.3233/COM-230951","ee":"https://doi.org/10.3233/COM-230951","url":"https://dblp.org/rec/journals/computability/BazhenovKSS23"}, "url":"URL#102410" }, { "@score":"1", "@id":"102411", "info":{"authors":{"author":[{"@pid":"c/DouglasCenzer","text":"Douglas Cenzer"},{"@pid":"149/4567","text":"Christopher P. Porter"}]},"title":"Randomness extraction in computability theory.","venue":"Comput.","volume":"12","number":"1","pages":"1-21","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/CenzerP23","doi":"10.3233/COM-210343","ee":"https://doi.org/10.3233/COM-210343","url":"https://dblp.org/rec/journals/computability/CenzerP23"}, "url":"URL#102411" }, { "@score":"1", "@id":"102412", "info":{"authors":{"author":[{"@pid":"366/6370","text":"Marina Dorzhieva"},{"@pid":"50/991","text":"Alexander G. Melnikov"}]},"title":"Punctually presented structures I: Closure theorems.","venue":"Comput.","volume":"12","number":"4","pages":"323-337","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/DorzhievaM23","doi":"10.3233/COM-230448","ee":"https://doi.org/10.3233/COM-230448","url":"https://dblp.org/rec/journals/computability/DorzhievaM23"}, "url":"URL#102412" }, { "@score":"1", "@id":"102413", "info":{"authors":{"author":{"@pid":"117/8598","text":"Marat Kh. Faizrahmanov"}},"title":"Numberings, c.e. oracles, and fixed points.","venue":"Comput.","volume":"12","number":"3","pages":"271-282","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/Faizrahmanov23","doi":"10.3233/COM-210387","ee":"https://doi.org/10.3233/COM-210387","url":"https://dblp.org/rec/journals/computability/Faizrahmanov23"}, "url":"URL#102413" }, { "@score":"1", "@id":"102414", "info":{"authors":{"author":[{"@pid":"117/8598","text":"Marat Kh. Faizrahmanov"},{"@pid":"366/5986","text":"Zlata Shchedrikova"}]},"title":"Effectively infinite classes of numberings and computable families of reals.","venue":"Comput.","volume":"12","number":"4","pages":"339-350","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/FaizrahmanovS23","doi":"10.3233/COM-230461","ee":"https://doi.org/10.3233/COM-230461","url":"https://dblp.org/rec/journals/computability/FaizrahmanovS23"}, "url":"URL#102414" }, { "@score":"1", "@id":"102415", "info":{"authors":{"author":[{"@pid":"340/3059","text":"Riccardo Gozzi"},{"@pid":"03/2925","text":"Daniel Graça 0001"}]},"title":"Characterizing time computational complexity classes with polynomial differential equations.","venue":"Comput.","volume":"12","number":"1","pages":"23-57","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/GozziG23","doi":"10.3233/COM-210384","ee":"https://doi.org/10.3233/COM-210384","url":"https://dblp.org/rec/journals/computability/GozziG23"}, "url":"URL#102415" }, { "@score":"1", "@id":"102416", "info":{"authors":{"author":[{"@pid":"03/2925","text":"Daniel Silva Graça"},{"@pid":"z/NingZhong2","text":"Ning Zhong 0002"}]},"title":"Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines.","venue":"Comput.","volume":"12","number":"2","pages":"117-144","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/GracaZ23","doi":"10.3233/COM-210381","ee":"https://doi.org/10.3233/COM-210381","url":"https://dblp.org/rec/journals/computability/GracaZ23"}, "url":"URL#102416" }, { "@score":"1", "@id":"102417", "info":{"authors":{"author":[{"@pid":"25/7040","text":"Jeffry L. Hirst"},{"@pid":"69/6279","text":"Carl Mummert"}]},"title":"Banach's theorem in higher-order reverse mathematics.","venue":"Comput.","volume":"12","number":"3","pages":"203-225","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/HirstM23","doi":"10.3233/COM-230453","ee":"https://doi.org/10.3233/COM-230453","url":"https://dblp.org/rec/journals/computability/HirstM23"}, "url":"URL#102417" }, { "@score":"1", "@id":"102418", "info":{"authors":{"author":{"@pid":"86/1356","text":"Mathieu Hoyrup"}},"title":"Notes on overt choice.","venue":"Comput.","volume":"12","number":"4","pages":"351-369","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/Hoyrup23","doi":"10.3233/COM-230458","ee":"https://doi.org/10.3233/COM-230458","url":"https://dblp.org/rec/journals/computability/Hoyrup23"}, "url":"URL#102418" }, { "@score":"1", "@id":"102419", "info":{"authors":{"author":[{"@pid":"244/0623","text":"Ruslan Ishkuvatov"},{"@pid":"11/1756","text":"Daniil Musatov"},{"@pid":"87/6631","text":"Alexander Shen"}]},"title":"Approximating Kolmogorov complexity.","venue":"Comput.","volume":"12","number":"3","pages":"283-297","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/IshkuvatovMS23","doi":"10.3233/COM-200302","ee":"https://doi.org/10.3233/COM-200302","url":"https://dblp.org/rec/journals/computability/IshkuvatovMS23"}, "url":"URL#102419" }, { "@score":"1", "@id":"102420", "info":{"authors":{"author":[{"@pid":"73/5888","text":"Clara Löh"},{"@pid":"313/2977","text":"Matthias Uschold"}]},"title":"L2-Betti numbers and computability of reals.","venue":"Comput.","volume":"12","number":"2","pages":"175-201","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/LohU23","doi":"10.3233/COM-220416","ee":"https://doi.org/10.3233/COM-220416","url":"https://dblp.org/rec/journals/computability/LohU23"}, "url":"URL#102420" }, { "@score":"1", "@id":"102421", "info":{"authors":{"author":[{"@pid":"60/934","text":"Victor L. Selivanov"},{"@pid":"48/6760","text":"Svetlana Selivanova"}]},"title":"Primitive recursive ordered fields and some applications.","venue":"Comput.","volume":"12","number":"1","pages":"71-99","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/SelivanovS23","doi":"10.3233/COM-210386","ee":"https://doi.org/10.3233/COM-210386","url":"https://dblp.org/rec/journals/computability/SelivanovS23"}, "url":"URL#102421" }, { "@score":"1", "@id":"102422", "info":{"authors":{"author":{"@pid":"s/DieterSpreen","text":"Dieter Spreen"}},"title":"How much partiality is needed for a theory of computability?","venue":"Comput.","volume":"12","number":"4","pages":"371-426","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/Spreen23","doi":"10.3233/COM-230463","ee":"https://doi.org/10.3233/COM-230463","url":"https://dblp.org/rec/journals/computability/Spreen23"}, "url":"URL#102422" }, { "@score":"1", "@id":"102423", "info":{"authors":{"author":{"@pid":"313/1982","text":"James Walsh 0007"}},"title":"Evitable iterates of the consistency operator.","venue":"Comput.","volume":"12","number":"1","pages":"59-69","year":"2023","type":"Journal Articles","access":"closed","key":"journals/computability/Walsh23","doi":"10.3233/COM-220400","ee":"https://doi.org/10.3233/COM-220400","url":"https://dblp.org/rec/journals/computability/Walsh23"}, "url":"URL#102423" }, { "@score":"1", "@id":"589079", "info":{"authors":{"author":[{"@pid":"08/2951","text":"Bruno Bauwens"},{"@pid":"g/PGacs","text":"Péter Gács"},{"@pid":"94/1632","text":"Andrei E. Romashchenko"},{"@pid":"87/6631","text":"Alexander Shen"}]},"title":"Inequalities for space-bounded Kolmogorov complexity.","venue":"Comput.","volume":"11","number":"3-4","pages":"165-185","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/BauwensGRS22","doi":"10.3233/COM-210374","ee":"https://doi.org/10.3233/COM-210374","url":"https://dblp.org/rec/journals/computability/BauwensGRS22"}, "url":"URL#589079" }, { "@score":"1", "@id":"589080", "info":{"authors":{"author":[{"@pid":"163/9832","text":"Nikolay Bazhenov"},{"@pid":"85/2767","text":"Keng Meng Ng"},{"@pid":"161/4452","text":"Luca San Mauro"},{"@pid":"06/33","text":"Andrea Sorbi"}]},"title":"Primitive recursive equivalence relations and their primitive recursive complexity.","venue":"Comput.","volume":"11","number":"3-4","pages":"187-221","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/BazhenovNMS22","doi":"10.3233/COM-210375","ee":"https://doi.org/10.3233/COM-210375","url":"https://dblp.org/rec/journals/computability/BazhenovNMS22"}, "url":"URL#589080" }, { "@score":"1", "@id":"589081", "info":{"authors":{"author":[{"@pid":"b/VascoBrattka","text":"Vasco Brattka"},{"@pid":"83/2349","text":"Noam Greenberg"},{"@pid":"81/5588","text":"Iskander Sh. Kalimullin"},{"@pid":"49/1453","text":"Mariya Ivanova Soskova"}]},"title":"Preface of the Special Issue for the Oberwolfach Workshop on Computability Theory 2021.","venue":"Comput.","volume":"11","number":"3-4","pages":"163","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/BrattkaGKS22","doi":"10.3233/COM-220950","ee":"https://doi.org/10.3233/COM-220950","url":"https://dblp.org/rec/journals/computability/BrattkaGKS22"}, "url":"URL#589081" }, { "@score":"1", "@id":"589082", "info":{"authors":{"author":[{"@pid":"93/361","text":"Wesley Calvert"},{"@pid":"c/DouglasCenzer","text":"Douglas Cenzer"},{"@pid":"19/4155","text":"Valentina S. Harizanov"}]},"title":"Generically and coarsely computable isomorphisms.","venue":"Comput.","volume":"11","number":"3-4","pages":"223-239","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/CalvertCH22","doi":"10.3233/COM-210382","ee":"https://doi.org/10.3233/COM-210382","url":"https://dblp.org/rec/journals/computability/CalvertCH22"}, "url":"URL#589082" }, { "@score":"1", "@id":"589083", "info":{"authors":{"author":{"@pid":"04/8629","text":"Merlin Carl"}},"title":"Space-bounded OTMs and REG∞.","venue":"Comput.","volume":"11","number":"1","pages":"41-56","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/Carl22","doi":"10.3233/COM-200327","ee":"https://doi.org/10.3233/COM-200327","url":"https://dblp.org/rec/journals/computability/Carl22"}, "url":"URL#589083" }, { "@score":"1", "@id":"589084", "info":{"authors":{"author":[{"@pid":"11/375","text":"Peter Cholak"},{"@pid":"116/4487","text":"Peter M. Gerdes"}]},"title":"Extending properly n-REA sets.","venue":"Comput.","volume":"11","number":"3-4","pages":"241-267","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/CholakG22","doi":"10.3233/COM-210362","ee":"https://doi.org/10.3233/COM-210362","url":"https://dblp.org/rec/journals/computability/CholakG22"}, "url":"URL#589084" }, { "@score":"1", "@id":"589085", "info":{"authors":{"author":[{"@pid":"260/8051","text":"Jun Le Goh"},{"@pid":"81/6401","text":"Steffen Lempp"},{"@pid":"85/2767","text":"Keng Meng Ng"},{"@pid":"49/1453","text":"Mariya Ivanova Soskova"}]},"title":"Extensions of two constructions of Ahmad.","venue":"Comput.","volume":"11","number":"3-4","pages":"269-297","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/GohLNS22","doi":"10.3233/COM-210380","ee":"https://doi.org/10.3233/COM-210380","url":"https://dblp.org/rec/journals/computability/GohLNS22"}, "url":"URL#589085" }, { "@score":"1", "@id":"589086", "info":{"authors":{"author":[{"@pid":"284/3084","text":"Anton Golov"},{"@pid":"t/SebastiaanTerwijn","text":"Sebastiaan A. Terwijn"}]},"title":"Fixpoints and relative precompleteness.","venue":"Comput.","volume":"11","number":"2","pages":"135-146","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/GolovT22","doi":"10.3233/COM-210344","ee":"https://doi.org/10.3233/COM-210344","url":"https://dblp.org/rec/journals/computability/GolovT22"}, "url":"URL#589086" }, { "@score":"1", "@id":"589087", "info":{"authors":{"author":[{"@pid":"140/7268","text":"Neil Lutz"},{"@pid":"121/3966","text":"Donald M. Stull"}]},"title":"Dimension spectra of lines.","venue":"Comput.","volume":"11","number":"2","pages":"85-112","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/LutzS22","doi":"10.3233/COM-190292","ee":"https://doi.org/10.3233/COM-190292","url":"https://dblp.org/rec/journals/computability/LutzS22"}, "url":"URL#589087" }, { "@score":"1", "@id":"589088", "info":{"authors":{"author":[{"@pid":"37/808","text":"Alberto Marcone"},{"@pid":"260/0416","text":"Manlio Valenti"}]},"title":"Effective aspects of Hausdorff and Fourier dimension.","venue":"Comput.","volume":"11","number":"3-4","pages":"299-333","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/MarconeV22","doi":"10.3233/COM-210372","ee":"https://doi.org/10.3233/COM-210372","url":"https://dblp.org/rec/journals/computability/MarconeV22"}, "url":"URL#589088" }, { "@score":"1", "@id":"589089", "info":{"authors":{"author":{"@pid":"63/9468","text":"Pace P. Nielsen"}},"title":"Definitional schemes for primitive recursive and computable functions.","venue":"Comput.","volume":"11","number":"1","pages":"1-8","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/Nielsen22","doi":"10.3233/COM-210312","ee":"https://doi.org/10.3233/COM-210312","url":"https://dblp.org/rec/journals/computability/Nielsen22"}, "url":"URL#589089" }, { "@score":"1", "@id":"589090", "info":{"authors":{"author":{"@pid":"63/7976","text":"Sam Sanders"}},"title":"Countable sets versus sets that are countable in reverse mathematics.","venue":"Comput.","volume":"11","number":"1","pages":"9-39","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/Sanders22","doi":"10.3233/COM-210313","ee":"https://doi.org/10.3233/COM-210313","url":"https://dblp.org/rec/journals/computability/Sanders22"}, "url":"URL#589090" }, { "@score":"1", "@id":"589091", "info":{"authors":{"author":[{"@pid":"38/3952-1","text":"Peter Schuster 0001"},{"@pid":"342/6123","text":"Daniel Misselbeck-Wessel"}]},"title":"The Jacobson radical for an inconsistency predicate.","venue":"Comput.","volume":"11","number":"2","pages":"147-162","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/SchusterW22","doi":"10.3233/COM-210365","ee":"https://doi.org/10.3233/COM-210365","url":"https://dblp.org/rec/journals/computability/SchusterW22"}, "url":"URL#589091" }, { "@score":"1", "@id":"589092", "info":{"authors":{"author":{"@pid":"60/934","text":"Victor L. Selivanov"}},"title":"Non-collapse of the effective Wadge hierarchy.","venue":"Comput.","volume":"11","number":"3-4","pages":"335-358","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/Selivanov22","doi":"10.3233/COM-210376","ee":"https://doi.org/10.3233/COM-210376","url":"https://dblp.org/rec/journals/computability/Selivanov22"}, "url":"URL#589092" }, { "@score":"1", "@id":"589093", "info":{"authors":{"author":[{"@pid":"244/2650","text":"Martin Vu"},{"@pid":"f/HenningFernau","text":"Henning Fernau"}]},"title":"Insertion-deletion systems with substitutions I.","venue":"Comput.","volume":"11","number":"1","pages":"57-83","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/VuF22","doi":"10.3233/COM-210345","ee":"https://doi.org/10.3233/COM-210345","url":"https://dblp.org/rec/journals/computability/VuF22"}, "url":"URL#589093" }, { "@score":"1", "@id":"589094", "info":{"authors":{"author":{"@pid":"w/KWeihrauch","text":"Klaus Weihrauch"}},"title":"Intersection points of planar curves can be computed.","venue":"Comput.","volume":"11","number":"2","pages":"113-133","year":"2022","type":"Journal Articles","access":"closed","key":"journals/computability/Weihrauch22","doi":"10.3233/COM-210311","ee":"https://doi.org/10.3233/COM-210311","url":"https://dblp.org/rec/journals/computability/Weihrauch22"}, "url":"URL#589094" }, { "@score":"1", "@id":"1067893", "info":{"authors":{"author":[{"@pid":"297/8310","text":"Katherine Arthur"},{"@pid":"d/RodneyGDowney","text":"Rod Downey"},{"@pid":"83/2349","text":"Noam Greenberg"}]},"title":"Maximality and collapse in the hierarchy of α-c.a. degrees.","venue":"Comput.","volume":"10","number":"3","pages":"181-214","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/ArthurDG21","doi":"10.3233/COM-200297","ee":"https://doi.org/10.3233/COM-200297","url":"https://dblp.org/rec/journals/computability/ArthurDG21"}, "url":"URL#1067893" }, { "@score":"1", "@id":"1067894", "info":{"authors":{"author":{"@pid":"197/3222","text":"James Barnes"}},"title":"The Σ2 theory of Dh(⩽hO) as an uppersemilattice with least and greatest element is decidable.","venue":"Comput.","volume":"10","number":"4","pages":"305-325","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Barnes21","doi":"10.3233/COM-210308","ee":"https://doi.org/10.3233/COM-210308","url":"https://dblp.org/rec/journals/computability/Barnes21"}, "url":"URL#1067894" }, { "@score":"1", "@id":"1067895", "info":{"authors":{"author":[{"@pid":"163/9832","text":"Nikolay Bazhenov"},{"@pid":"44/644","text":"Ekaterina B. Fokina"},{"@pid":"223/4907","text":"Dino Rossegger"},{"@pid":"161/4452","text":"Luca San Mauro"}]},"title":"Degrees of bi-embeddable categoricity.","venue":"Comput.","volume":"10","number":"1","pages":"1-16","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/BazhenovFRM21","doi":"10.3233/COM-190289","ee":"https://doi.org/10.3233/COM-190289","url":"https://dblp.org/rec/journals/computability/BazhenovFRM21"}, "url":"URL#1067895" }, { "@score":"1", "@id":"1067896", "info":{"authors":{"author":[{"@pid":"309/6464","text":"Zach BeMent"},{"@pid":"25/7040","text":"Jeffry L. Hirst"},{"@pid":"309/6471","text":"Asuka Wallace"}]},"title":"Reverse mathematics and Weihrauch analysis motivated by finite complexity theory.","venue":"Comput.","volume":"10","number":"4","pages":"343-354","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/BeMentHW21","doi":"10.3233/COM-210310","ee":"https://doi.org/10.3233/COM-210310","url":"https://dblp.org/rec/journals/computability/BeMentHW21"}, "url":"URL#1067896" }, { "@score":"1", "@id":"1067897", "info":{"authors":{"author":{"@pid":"297/8399","text":"Tyler A. Brown"}},"title":"Computing on the Banach space C[0, 1].","venue":"Comput.","volume":"10","number":"3","pages":"257-270","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Brown21","doi":"10.3233/COM-200306","ee":"https://doi.org/10.3233/COM-200306","url":"https://dblp.org/rec/journals/computability/Brown21"}, "url":"URL#1067897" }, { "@score":"1", "@id":"1067898", "info":{"authors":{"author":{"@pid":"04/8629","text":"Merlin Carl"}},"title":"Effectivity and reducibility with ordinal Turing machines.","venue":"Comput.","volume":"10","number":"4","pages":"289-304","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Carl21","doi":"10.3233/COM-210307","ee":"https://doi.org/10.3233/COM-210307","url":"https://dblp.org/rec/journals/computability/Carl21"}, "url":"URL#1067898" }, { "@score":"1", "@id":"1067899", "info":{"authors":{"author":{"@pid":"09/5541","text":"Patrizio Cintioli"}},"title":"Degrees of sets having no subsets of higher m- and tt-degree.","venue":"Comput.","volume":"10","number":"3","pages":"235-255","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Cintioli21","doi":"10.3233/COM-200296","ee":"https://doi.org/10.3233/COM-200296","url":"https://dblp.org/rec/journals/computability/Cintioli21"}, "url":"URL#1067899" }, { "@score":"1", "@id":"1067900", "info":{"authors":{"author":{"@pid":"65/1444","text":"Edgar G. Daylight"}},"title":"The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian.","venue":"Comput.","volume":"10","number":"2","pages":"141-158","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Daylight21","doi":"10.3233/COM-180217","ee":"https://doi.org/10.3233/COM-180217","url":"https://dblp.org/rec/journals/computability/Daylight21"}, "url":"URL#1067900" }, { "@score":"1", "@id":"1067901", "info":{"authors":{"author":[{"@pid":"96/7633","text":"Damir D. Dzhafarov"},{"@pid":"02/7444","text":"Ludovic Patey"}]},"title":"COH, SRT22, and multiple functionals.","venue":"Comput.","volume":"10","number":"2","pages":"111-121","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/DzhafarovP21","doi":"10.3233/COM-190261","ee":"https://doi.org/10.3233/COM-190261","url":"https://dblp.org/rec/journals/computability/DzhafarovP21"}, "url":"URL#1067901" }, { "@score":"1", "@id":"1067902", "info":{"authors":{"author":[{"@pid":"250/2595","text":"Marta Fiori-Carones"},{"@pid":"37/808","text":"Alberto Marcone"}]},"title":"To reorient is easier than to orient: An on-line algorithm for reorientation of graphs.","venue":"Comput.","volume":"10","number":"3","pages":"215-233","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Fiori-CaronesM21","doi":"10.3233/COM-190285","ee":"https://doi.org/10.3233/COM-190285","url":"https://dblp.org/rec/journals/computability/Fiori-CaronesM21"}, "url":"URL#1067902" }, { "@score":"1", "@id":"1067903", "info":{"authors":{"author":{"@pid":"64/6903","text":"Makoto Fujiwara"}},"title":"Weihrauch and constructive reducibility between existence statements.","venue":"Comput.","volume":"10","number":"1","pages":"17-30","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Fujiwara21","doi":"10.3233/COM-190278","ee":"https://doi.org/10.3233/COM-190278","url":"https://dblp.org/rec/journals/computability/Fujiwara21"}, "url":"URL#1067903" }, { "@score":"1", "@id":"1067904", "info":{"authors":{"author":{"@pid":"83/3288","text":"Liling Ko"}},"title":"Nonlowness is independent from fickleness.","venue":"Comput.","volume":"10","number":"4","pages":"271-288","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Ko21","doi":"10.3233/COM-190269","ee":"https://doi.org/10.3233/COM-190269","url":"https://dblp.org/rec/journals/computability/Ko21"}, "url":"URL#1067904" }, { "@score":"1", "@id":"1067905", "info":{"authors":{"author":[{"@pid":"41/5932","text":"Michal Konecný"},{"@pid":"164/6009","text":"Eike Neumann"}]},"title":"Representations and evaluation strategies for feasibly approximable functions.","venue":"Comput.","volume":"10","number":"1","pages":"63-89","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/KonecnyN21","doi":"10.3233/COM-180234","ee":"https://doi.org/10.3233/COM-180234","url":"https://dblp.org/rec/journals/computability/KonecnyN21"}, "url":"URL#1067905" }, { "@score":"1", "@id":"1067906", "info":{"authors":{"author":{"@pid":"17/1191","text":"Justin Miller"}},"title":"Intermediate intrinsic density and randomness.","venue":"Comput.","volume":"10","number":"4","pages":"327-341","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Miller21","doi":"10.3233/COM-210309","ee":"https://doi.org/10.3233/COM-210309","url":"https://dblp.org/rec/journals/computability/Miller21"}, "url":"URL#1067906" }, { "@score":"1", "@id":"1067907", "info":{"authors":{"author":{"@pid":"n/DagNormann","text":"Dag Normann"}},"title":"Measure-theoretic uniformity and the Suslin functional.","venue":"Comput.","volume":"10","number":"2","pages":"91-105","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Normann21","doi":"10.3233/COM-190248","ee":"https://doi.org/10.3233/COM-190248","url":"https://dblp.org/rec/journals/computability/Normann21"}, "url":"URL#1067907" }, { "@score":"1", "@id":"1067908", "info":{"authors":{"author":{"@pid":"63/7976","text":"Sam Sanders"}},"title":"Nets and reverse mathematics.","venue":"Comput.","volume":"10","number":"1","pages":"31-62","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Sanders21","doi":"10.3233/COM-190265","ee":"https://doi.org/10.3233/COM-190265","url":"https://dblp.org/rec/journals/computability/Sanders21"}, "url":"URL#1067908" }, { "@score":"1", "@id":"1067909", "info":{"authors":{"author":[{"@pid":"48/6760","text":"Svetlana Selivanova"},{"@pid":"60/934","text":"Victor L. Selivanov"}]},"title":"Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision.","venue":"Comput.","volume":"10","number":"2","pages":"123-140","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/SelivanovaS21","doi":"10.3233/COM-180215","ee":"https://doi.org/10.3233/COM-180215","url":"https://dblp.org/rec/journals/computability/SelivanovaS21"}, "url":"URL#1067909" }, { "@score":"1", "@id":"1067910", "info":{"authors":{"author":{"@pid":"54/2176","text":"Philip D. Welch"}},"title":"Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum-Shub-Smale machines.","venue":"Comput.","volume":"10","number":"2","pages":"159-180","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Welch21","doi":"10.3233/COM-200301","ee":"https://doi.org/10.3233/COM-200301","url":"https://dblp.org/rec/journals/computability/Welch21"}, "url":"URL#1067910" }, { "@score":"1", "@id":"1067911", "info":{"authors":{"author":{"@pid":"264/9322","text":"Linda Westrick"}},"title":"A note on the diamond operator.","venue":"Comput.","volume":"10","number":"2","pages":"107-110","year":"2021","type":"Journal Articles","access":"closed","key":"journals/computability/Westrick21","doi":"10.3233/COM-200295","ee":"https://doi.org/10.3233/COM-200295","url":"https://dblp.org/rec/journals/computability/Westrick21"}, "url":"URL#1067911" }, { "@score":"1", "@id":"1530373", "info":{"authors":{"author":[{"@pid":"b/VascoBrattka","text":"Vasco Brattka"},{"@pid":"96/7633","text":"Damir D. Dzhafarov"},{"@pid":"37/808","text":"Alberto Marcone"},{"@pid":"97/6798","text":"Arno Pauly"}]},"title":"Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018.","venue":"Comput.","volume":"9","number":"3-4","pages":"167-168","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/BrattkaDMP20","doi":"10.3233/COM-208001","ee":"https://doi.org/10.3233/COM-208001","url":"https://dblp.org/rec/journals/computability/BrattkaDMP20"}, "url":"URL#1530373" }, { "@score":"1", "@id":"1530374", "info":{"authors":{"author":[{"@pid":"35/2717","text":"Matthew de Brecht"},{"@pid":"97/6798","text":"Arno Pauly"},{"@pid":"12/7010","text":"Matthias Schröder 0001"}]},"title":"Overt choice.","venue":"Comput.","volume":"9","number":"3-4","pages":"169-191","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/BrechtPS20","doi":"10.3233/COM-190253","ee":"https://doi.org/10.3233/COM-190253","url":"https://dblp.org/rec/journals/computability/BrechtPS20"}, "url":"URL#1530374" }, { "@score":"1", "@id":"1530375", "info":{"authors":{"author":[{"@pid":"c/CSCalude","text":"Cristian S. Calude"},{"@pid":"85/6962","text":"Monica Dumitrescu"}]},"title":"A statistical anytime algorithm for the Halting Problem.","venue":"Comput.","volume":"9","number":"2","pages":"155-166","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/CaludeD20","doi":"10.3233/COM-190250","ee":"https://doi.org/10.3233/COM-190250","url":"https://dblp.org/rec/journals/computability/CaludeD20"}, "url":"URL#1530375" }, { "@score":"1", "@id":"1530376", "info":{"authors":{"author":[{"@pid":"55/1910","text":"Lorenzo Carlucci"},{"@pid":"48/6869","text":"Leszek Aleksander Kolodziejczyk"},{"@pid":"200/9933","text":"Francesco Lepore"},{"@pid":"65/1473","text":"Konrad Zdanowski"}]},"title":"New bounds on the strength of some restrictions of Hindman's Theorem.","venue":"Comput.","volume":"9","number":"2","pages":"139-153","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/CarlucciKLZ20","doi":"10.3233/COM-190264","ee":"https://doi.org/10.3233/COM-190264","url":"https://dblp.org/rec/journals/computability/CarlucciKLZ20"}, "url":"URL#1530376" }, { "@score":"1", "@id":"1530377", "info":{"authors":{"author":[{"@pid":"11/375","text":"Peter A. Cholak"},{"@pid":"96/7633","text":"Damir D. Dzhafarov"},{"@pid":"47/5632","text":"Denis R. Hirschfeldt"},{"@pid":"02/7444","text":"Ludovic Patey"}]},"title":"Some results concerning the SRT22 vs. COH problem.","venue":"Comput.","volume":"9","number":"3-4","pages":"193-217","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/CholakDHP20","doi":"10.3233/COM-190251","ee":"https://doi.org/10.3233/COM-190251","url":"https://dblp.org/rec/journals/computability/CholakDHP20"}, "url":"URL#1530377" }, { "@score":"1", "@id":"1530378", "info":{"authors":{"author":[{"@pid":"43/2656","text":"Barbara F. Csima"},{"@pid":"265/8076","text":"Michael Deveau"},{"@pid":"166/7387","text":"Matthew Harrison-Trainor"},{"@pid":"254/6591","text":"Mohammad Assem Mahmoud"}]},"title":"Degrees of categoricity above limit ordinals.","venue":"Comput.","volume":"9","number":"2","pages":"127-137","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/CsimaDHM20","doi":"10.3233/COM-190254","ee":"https://doi.org/10.3233/COM-190254","url":"https://dblp.org/rec/journals/computability/CsimaDHM20"}, "url":"URL#1530378" }, { "@score":"1", "@id":"1530379", "info":{"authors":{"author":[{"@pid":"244/2080","text":"Caleb Davis"},{"@pid":"47/5632","text":"Denis R. Hirschfeldt"},{"@pid":"25/7040","text":"Jeffry L. Hirst"},{"@pid":"244/2057","text":"Jake Pardo"},{"@pid":"97/6798","text":"Arno Pauly"},{"@pid":"79/1052","text":"Keita Yokoyama"}]},"title":"Combinatorial principles equivalent to weak induction.","venue":"Comput.","volume":"9","number":"3-4","pages":"219-229","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/DavisHHPPY20","doi":"10.3233/COM-180244","ee":"https://doi.org/10.3233/COM-180244","url":"https://dblp.org/rec/journals/computability/DavisHHPPY20"}, "url":"URL#1530379" }, { "@score":"1", "@id":"1530380", "info":{"authors":{"author":[{"@pid":"96/7633","text":"Damir D. Dzhafarov"},{"@pid":"260/8051","text":"Jun Le Goh"},{"@pid":"47/5632","text":"Denis R. Hirschfeldt"},{"@pid":"02/7444","text":"Ludovic Patey"},{"@pid":"97/6798","text":"Arno Pauly"}]},"title":"Ramsey's theorem and products in the Weihrauch degrees.","venue":"Comput.","volume":"9","number":"2","pages":"85-110","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/DzhafarovGHPP20","doi":"10.3233/COM-180203","ee":"https://doi.org/10.3233/COM-180203","url":"https://dblp.org/rec/journals/computability/DzhafarovGHPP20"}, "url":"URL#1530380" }, { "@score":"1", "@id":"1530381", "info":{"authors":{"author":[{"@pid":"f/HenningFernau","text":"Henning Fernau"},{"@pid":"173/5322","text":"Till Fluschnik"},{"@pid":"59/6411","text":"Danny Hermelin"},{"@pid":"35/4442","text":"Andreas Krebs"},{"@pid":"117/7275","text":"Hendrik Molter"},{"@pid":"n/RolfNiedermeier","text":"Rolf Niedermeier"}]},"title":"Diminishable parameterized problems and strict polynomial kernelization.","venue":"Comput.","volume":"9","number":"1","pages":"1-24","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/FernauFHKMN20","doi":"10.3233/COM-180220","ee":"https://doi.org/10.3233/COM-180220","url":"https://dblp.org/rec/journals/computability/FernauFHKMN20"}, "url":"URL#1530381" }, { "@score":"1", "@id":"1530382", "info":{"authors":{"author":{"@pid":"116/4487","text":"Peter M. Gerdes"}},"title":"An ω-REA set forming a minimal pair with 0~′.","venue":"Comput.","volume":"9","number":"1","pages":"37-50","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Gerdes20","doi":"10.3233/COM-180191","ee":"https://doi.org/10.3233/COM-180191","url":"https://dblp.org/rec/journals/computability/Gerdes20"}, "url":"URL#1530382" }, { "@score":"1", "@id":"1530383", "info":{"authors":{"author":{"@pid":"260/8051","text":"Jun Le Goh"}},"title":"Compositions of multivalued functions.","venue":"Comput.","volume":"9","number":"3-4","pages":"231-247","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Goh20","doi":"10.3233/COM-180235","ee":"https://doi.org/10.3233/COM-180235","url":"https://dblp.org/rec/journals/computability/Goh20"}, "url":"URL#1530383" }, { "@score":"1", "@id":"1530384", "info":{"authors":{"author":{"@pid":"96/2423","text":"Peter Hertling"}},"title":"Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations.","venue":"Comput.","volume":"9","number":"3-4","pages":"249-307","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Hertling20","doi":"10.3233/COM-190255","ee":"https://doi.org/10.3233/COM-190255","url":"https://dblp.org/rec/journals/computability/Hertling20"}, "url":"URL#1530384" }, { "@score":"1", "@id":"1530385", "info":{"authors":{"author":{"@pid":"25/7040","text":"Jeffry L. Hirst"}},"title":"Leaf management.","venue":"Comput.","volume":"9","number":"3-4","pages":"309-314","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Hirst20","doi":"10.3233/COM-180243","ee":"https://doi.org/10.3233/COM-180243","url":"https://dblp.org/rec/journals/computability/Hirst20"}, "url":"URL#1530385" }, { "@score":"1", "@id":"1530386", "info":{"authors":{"author":{"@pid":"251/7501","text":"Reese Johnston"}},"title":"Cantor-Bendixson ranks of effectively closed sets in admissible recursion theory.","venue":"Comput.","volume":"9","number":"2","pages":"111-125","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Johnston20","doi":"10.3233/COM-180187","ee":"https://doi.org/10.3233/COM-180187","url":"https://dblp.org/rec/journals/computability/Johnston20"}, "url":"URL#1530386" }, { "@score":"1", "@id":"1530387", "info":{"authors":{"author":{"@pid":"117/9942","text":"Pietro Milici"}},"title":"A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation.","venue":"Comput.","volume":"9","number":"1","pages":"51-83","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Milici20","doi":"10.3233/COM-180208","ee":"https://doi.org/10.3233/COM-180208","url":"https://dblp.org/rec/journals/computability/Milici20"}, "url":"URL#1530387" }, { "@score":"1", "@id":"1530388", "info":{"authors":{"author":{"@pid":"75/3109","text":"Takako Nemoto"}},"title":"A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1].","venue":"Comput.","volume":"9","number":"3-4","pages":"315-326","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Nemoto20","doi":"10.3233/COM-190247","ee":"https://doi.org/10.3233/COM-190247","url":"https://dblp.org/rec/journals/computability/Nemoto20"}, "url":"URL#1530388" }, { "@score":"1", "@id":"1530389", "info":{"authors":{"author":{"@pid":"60/934","text":"Victor L. Selivanov"}},"title":"Q-Wadge degrees as free structures.","venue":"Comput.","volume":"9","number":"3-4","pages":"327-341","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Selivanov20","doi":"10.3233/COM-180241","ee":"https://doi.org/10.3233/COM-180241","url":"https://dblp.org/rec/journals/computability/Selivanov20"}, "url":"URL#1530389" }, { "@score":"1", "@id":"1530390", "info":{"authors":{"author":{"@pid":"25/184","text":"Paul Shafer"}},"title":"The strength of compactness for countable complete linear orders.","venue":"Comput.","volume":"9","number":"1","pages":"25-36","year":"2020","type":"Journal Articles","access":"closed","key":"journals/computability/Shafer20","doi":"10.3233/COM-190262","ee":"https://doi.org/10.3233/COM-190262","url":"https://dblp.org/rec/journals/computability/Shafer20"}, "url":"URL#1530390" }, { "@score":"1", "@id":"1962269", "info":{"authors":{"author":[{"@pid":"84/9206","text":"Uri Andrews"},{"@pid":"06/33","text":"Andrea Sorbi"}]},"title":"Joins and meets in the structure of ceers.","venue":"Comput.","volume":"8","number":"3-4","pages":"193-241","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/AndrewsS19","doi":"10.3233/COM-180098","ee":"https://doi.org/10.3233/COM-180098","url":"https://dblp.org/rec/journals/computability/AndrewsS19"}, "url":"URL#1962269" }, { "@score":"1", "@id":"1962270", "info":{"authors":{"author":[{"@pid":"11/3554","text":"Mark Armstrong"},{"@pid":"51/2074","text":"Jeffery I. Zucker"}]},"title":"Notions of semicomputability in topological algebras over the reals.","venue":"Comput.","volume":"8","number":"1","pages":"1-26","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/ArmstrongZ19","doi":"10.3233/COM-180087","ee":"https://doi.org/10.3233/COM-180087","url":"https://dblp.org/rec/journals/computability/ArmstrongZ19"}, "url":"URL#1962270" }, { "@score":"1", "@id":"1962271", "info":{"authors":{"author":[{"@pid":"166/4303","text":"Eric P. Astor"},{"@pid":"47/5632","text":"Denis R. Hirschfeldt"}]},"title":"Dense computability, upper cones, and minimal pairs.","venue":"Comput.","volume":"8","number":"2","pages":"155-177","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/AstorH19","doi":"10.3233/COM-180231","ee":"https://doi.org/10.3233/COM-180231","url":"https://dblp.org/rec/journals/computability/AstorH19"}, "url":"URL#1962271" }, { "@score":"1", "@id":"1962272", "info":{"authors":{"author":[{"@pid":"45/3886","text":"Arnold Beckmann"},{"@pid":"b/SamuelRBuss","text":"Sam Buss"},{"@pid":"42/4806","text":"Sy-David Friedman"},{"@pid":"12/303","text":"Moritz Müller"},{"@pid":"44/1612","text":"Neil Thapen"}]},"title":"Feasible set functions have small circuits.","venue":"Comput.","volume":"8","number":"1","pages":"67-98","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/BeckmannBFMT19","doi":"10.3233/COM-180096","ee":"https://doi.org/10.3233/COM-180096","url":"https://dblp.org/rec/journals/computability/BeckmannBFMT19"}, "url":"URL#1962272" }, { "@score":"1", "@id":"1962273", "info":{"authors":{"author":[{"@pid":"b/VascoBrattka","text":"Vasco Brattka"},{"@pid":"d/RodneyGDowney","text":"Rod Downey"},{"@pid":"29/4655","text":"Julia F. Knight"},{"@pid":"81/6401","text":"Steffen Lempp"}]},"title":"Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018.","venue":"Comput.","volume":"8","number":"3-4","pages":"191","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/BrattkaDKL19","doi":"10.3233/COM-180103","ee":"https://doi.org/10.3233/COM-180103","url":"https://dblp.org/rec/journals/computability/BrattkaDKL19"}, "url":"URL#1962273" }, { "@score":"1", "@id":"1962274", "info":{"authors":{"author":[{"@pid":"250/3260","text":"Ellen Chih"},{"@pid":"d/RodneyGDowney","text":"Rod Downey"}]},"title":"Splitting theorems and low degrees.","venue":"Comput.","volume":"8","number":"3-4","pages":"243-252","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/ChihD19","doi":"10.3233/COM-180093","ee":"https://doi.org/10.3233/COM-180093","url":"https://dblp.org/rec/journals/computability/ChihD19"}, "url":"URL#1962274" }, { "@score":"1", "@id":"1962275", "info":{"authors":{"author":[{"@pid":"43/2656","text":"Barbara F. Csima"},{"@pid":"96/7633","text":"Damir D. Dzhafarov"},{"@pid":"47/5632","text":"Denis R. Hirschfeldt"},{"@pid":"68/5248","text":"Carl G. Jockusch Jr."},{"@pid":"65/3079","text":"Reed Solomon"},{"@pid":"264/9322","text":"Linda Brown Westrick"}]},"title":"The reverse mathematics of Hindman's Theorem for sums of exactly two elements.","venue":"Comput.","volume":"8","number":"3-4","pages":"253-263","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/CsimaDHJSW19","doi":"10.3233/COM-180094","ee":"https://doi.org/10.3233/COM-180094","url":"https://dblp.org/rec/journals/computability/CsimaDHJSW19"}, "url":"URL#1962275" }, { "@score":"1", "@id":"1962276", "info":{"authors":{"author":[{"@pid":"44/644","text":"Ekaterina B. Fokina"},{"@pid":"223/4907","text":"Dino Rossegger"},{"@pid":"161/4452","text":"Luca San Mauro"}]},"title":"Measuring the complexity of reductions between equivalence relations.","venue":"Comput.","volume":"8","number":"3-4","pages":"265-280","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/FokinaRM19","doi":"10.3233/COM-180100","ee":"https://doi.org/10.3233/COM-180100","url":"https://dblp.org/rec/journals/computability/FokinaRM19"}, "url":"URL#1962276" }, { "@score":"1", "@id":"1962277", "info":{"authors":{"author":[{"@pid":"53/1369","text":"Guido Gherardi"},{"@pid":"37/808","text":"Alberto Marcone"},{"@pid":"97/6798","text":"Arno Pauly"}]},"title":"Projection operators in the Weihrauch lattice.","venue":"Comput.","volume":"8","number":"3-4","pages":"281-304","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/GherardiMP19","doi":"10.3233/COM-180207","ee":"https://doi.org/10.3233/COM-180207","url":"https://dblp.org/rec/journals/computability/GherardiMP19"}, "url":"URL#1962277" }, { "@score":"1", "@id":"1962278", "info":{"authors":{"author":[{"@pid":"06/6306","text":"Petr A. Golovach"},{"@pid":"j/MatthewJohnson2","text":"Matthew Johnson 0002"},{"@pid":"00/757","text":"Barnaby Martin"},{"@pid":"18/5531","text":"Daniël Paulusma"},{"@pid":"150/4914","text":"Anthony Stewart"}]},"title":"Surjective H-colouring: New hardness results.","venue":"Comput.","volume":"8","number":"1","pages":"27-42","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/GolovachJMPS19","doi":"10.3233/COM-180084","ee":"https://doi.org/10.3233/COM-180084","url":"https://dblp.org/rec/journals/computability/GolovachJMPS19"}, "url":"URL#1962278" }, { "@score":"1", "@id":"1962279", "info":{"authors":{"author":[{"@pid":"83/2349","text":"Noam Greenberg"},{"@pid":"124/9289","text":"Rutger Kuyper"},{"@pid":"67/7976","text":"Dan Turetsky"}]},"title":"Cardinal invariants, non-lowness classes, and Weihrauch reducibility.","venue":"Comput.","volume":"8","number":"3-4","pages":"305-346","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/GreenbergKT19","doi":"10.3233/COM-180219","ee":"https://doi.org/10.3233/COM-180219","url":"https://dblp.org/rec/journals/computability/GreenbergKT19"}, "url":"URL#1962279" }, { "@score":"1", "@id":"1962280", "info":{"authors":{"author":{"@pid":"166/7387","text":"Matthew Harrison-Trainor"}},"title":"A first-order theory of Ulm type.","venue":"Comput.","volume":"8","number":"3-4","pages":"347-358","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/Harrison-Trainor19","doi":"10.3233/COM-180099","ee":"https://doi.org/10.3233/COM-180099","url":"https://dblp.org/rec/journals/computability/Harrison-Trainor19"}, "url":"URL#1962280" }, { "@score":"1", "@id":"1962281", "info":{"authors":{"author":[{"@pid":"166/7387","text":"Matthew Harrison-Trainor"},{"@pid":"59/1434","text":"Bakh Khoussainov"},{"@pid":"67/7976","text":"Daniel Turetsky"}]},"title":"Effective aspects of algorithmically random structures.","venue":"Comput.","volume":"8","number":"3-4","pages":"359-375","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/Harrison-Trainor19a","doi":"10.3233/COM-180101","ee":"https://doi.org/10.3233/COM-180101","url":"https://dblp.org/rec/journals/computability/Harrison-Trainor19a"}, "url":"URL#1962281" }, { "@score":"1", "@id":"1962282", "info":{"authors":{"author":{"@pid":"63/2811","text":"Ulrich Kohlenbach"}},"title":"On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness.","venue":"Comput.","volume":"8","number":"3-4","pages":"377-387","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/Kohlenbach19","doi":"10.3233/COM-180097","ee":"https://doi.org/10.3233/COM-180097","url":"https://dblp.org/rec/journals/computability/Kohlenbach19"}, "url":"URL#1962282" }, { "@score":"1", "@id":"1962283", "info":{"authors":{"author":{"@pid":"05/337","text":"Lars Kristiansen"}},"title":"On subrecursive representability of irrational numbers, part II.","venue":"Comput.","volume":"8","number":"1","pages":"43-65","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/Kristiansen19","doi":"10.3233/COM-170081","ee":"https://doi.org/10.3233/COM-170081","url":"https://dblp.org/rec/journals/computability/Kristiansen19"}, "url":"URL#1962283" }, { "@score":"1", "@id":"1962284", "info":{"authors":{"author":{"@pid":"86/5303","text":"John Longley"}},"title":"Bar recursion is not computable via iteration.","venue":"Comput.","volume":"8","number":"2","pages":"119-153","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/Longley19","doi":"10.3233/COM-180200","ee":"https://doi.org/10.3233/COM-180200","url":"https://dblp.org/rec/journals/computability/Longley19"}, "url":"URL#1962284" }, { "@score":"1", "@id":"1962285", "info":{"authors":{"author":[{"@pid":"42/7758","text":"Timothy H. McNicholl"},{"@pid":"121/3966","text":"Donald M. Stull"}]},"title":"The isometry degree of a computable copy of ℓ p.","venue":"Comput.","volume":"8","number":"2","pages":"179-189","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/McNichollS19","doi":"10.3233/COM-180214","ee":"https://doi.org/10.3233/COM-180214","url":"https://dblp.org/rec/journals/computability/McNichollS19"}, "url":"URL#1962285" }, { "@score":"1", "@id":"1962286", "info":{"authors":{"author":{"@pid":"63/2395","text":"Russell Miller 0001"}},"title":"Isomorphism and classification for countable structures.","venue":"Comput.","volume":"8","number":"2","pages":"99-117","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/Miller19","doi":"10.3233/COM-180095","ee":"https://doi.org/10.3233/COM-180095","url":"https://dblp.org/rec/journals/computability/Miller19"}, "url":"URL#1962286" }, { "@score":"1", "@id":"1962287", "info":{"authors":{"author":[{"@pid":"250/3343","text":"Iván Ongay-Valverde"},{"@pid":"124/3180","text":"Noah David Schweber"}]},"title":"Effective localization number: Building k-surviving degrees.","venue":"Comput.","volume":"8","number":"3-4","pages":"389-398","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/Ongay-ValverdeS19","doi":"10.3233/COM-180199","ee":"https://doi.org/10.3233/COM-180199","url":"https://dblp.org/rec/journals/computability/Ongay-ValverdeS19"}, "url":"URL#1962287" }, { "@score":"1", "@id":"1962288", "info":{"authors":{"author":{"@pid":"w/KWeihrauch","text":"Klaus Weihrauch"}},"title":"Computable planar curves intersect in a computable point.","venue":"Comput.","volume":"8","number":"3-4","pages":"399-415","year":"2019","type":"Journal Articles","access":"closed","key":"journals/computability/Weihrauch19","doi":"10.3233/COM-180102","ee":"https://doi.org/10.3233/COM-180102","url":"https://dblp.org/rec/journals/computability/Weihrauch19"}, "url":"URL#1962288" }, { "@score":"1", "@id":"2370733", "info":{"authors":{"author":{"@pid":"a/KlausAmbosSpies","text":"Klaus Ambos-Spies"}},"title":"Automorphism bases for the recursively enumerable degrees.","venue":"Comput.","volume":"7","number":"2-3","pages":"237-258","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/Ambos-Spies18","doi":"10.3233/COM-180088","ee":"https://doi.org/10.3233/COM-180088","url":"https://dblp.org/rec/journals/computability/Ambos-Spies18"}, "url":"URL#2370733" }, { "@score":"1", "@id":"2370734", "info":{"authors":{"author":[{"@pid":"19/11199","text":"Spencer Backman"},{"@pid":"80/10248","text":"Tony Huynh"}]},"title":"Transfinite Ford-Fulkerson on a finite network.","venue":"Comput.","volume":"7","number":"4","pages":"341-347","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/BackmanH18","doi":"10.3233/COM-180082","ee":"https://doi.org/10.3233/COM-180082","url":"https://dblp.org/rec/journals/computability/BackmanH18"}, "url":"URL#2370734" }, { "@score":"1", "@id":"2370735", "info":{"authors":{"author":[{"@pid":"56/5500","text":"George Barmpalias"},{"@pid":"126/5207","text":"Andrew Lewis-Pye"},{"@pid":"66/4917","text":"Angsheng Li"}]},"title":"Pointed computations and Martin-Löf randomness.","venue":"Comput.","volume":"7","number":"2-3","pages":"171-177","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/BarmpaliasLL18","doi":"10.3233/COM-170076","ee":"https://doi.org/10.3233/COM-170076","url":"https://dblp.org/rec/journals/computability/BarmpaliasLL18"}, "url":"URL#2370735" }, { "@score":"1", "@id":"2370736", "info":{"authors":{"author":[{"@pid":"c/CSCalude","text":"Cristian S. Calude"},{"@pid":"85/6962","text":"Monica Dumitrescu"}]},"title":"A probabilistic anytime algorithm for the halting problem.","venue":"Comput.","volume":"7","number":"2-3","pages":"259-271","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/CaludeD18","doi":"10.3233/COM-170073","ee":"https://doi.org/10.3233/COM-170073","url":"https://dblp.org/rec/journals/computability/CaludeD18"}, "url":"URL#2370736" }, { "@score":"1", "@id":"2370737", "info":{"authors":{"author":[{"@pid":"06/5313","text":"S. Barry Cooper"},{"@pid":"172/6766","text":"James Gay"},{"@pid":"75/4186","text":"Charles M. Harris"},{"@pid":"193/1568","text":"Kyung Il Lee"},{"@pid":"14/2638","text":"Anthony Morphett"}]},"title":"Linearisations and the Ershov hierarchy.","venue":"Comput.","volume":"7","number":"2-3","pages":"143-169","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/CooperGHLM18","doi":"10.3233/COM-170080","ee":"https://doi.org/10.3233/COM-170080","url":"https://dblp.org/rec/journals/computability/CooperGHLM18"}, "url":"URL#2370737" }, { "@score":"1", "@id":"2370738", "info":{"authors":{"author":[{"@pid":"228/6490","text":"Joe Davidson"},{"@pid":"74/5932","text":"Greg Michaelson"}]},"title":"Expressiveness, meanings and machines.","venue":"Comput.","volume":"7","number":"4","pages":"367-394","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/DavidsonM18","doi":"10.3233/COM-180090","ee":"https://doi.org/10.3233/COM-180090","url":"https://dblp.org/rec/journals/computability/DavidsonM18"}, "url":"URL#2370738" }, { "@score":"1", "@id":"2370739", "info":{"authors":{"author":[{"@pid":"09/1993","text":"Richard Elwes"},{"@pid":"126/5207","text":"Andy Lewis-Pye"},{"@pid":"47/6904","text":"Benedikt Löwe"},{"@pid":"17/2461","text":"Dugald Macpherson"},{"@pid":"n/DagNormann","text":"Dag Normann"},{"@pid":"06/33","text":"Andrea Sorbi"},{"@pid":"39/520","text":"Alexandra A. Soskova"},{"@pid":"49/1453","text":"Mariya Ivanova Soskova"},{"@pid":"43/5920","text":"Peter van Emde Boas"},{"@pid":"34/6949","text":"Stanley S. Wainer"}]},"title":"S. Barry Cooper (1943-2015).","venue":"Comput.","volume":"7","number":"2-3","pages":"103-131","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/ElwesLLMNSSSBW18","doi":"10.3233/COM-180092","ee":"https://doi.org/10.3233/COM-180092","url":"https://dblp.org/rec/journals/computability/ElwesLLMNSSSBW18"}, "url":"URL#2370739" }, { "@score":"1", "@id":"2370740", "info":{"authors":{"author":[{"@pid":"63/717","text":"Johanna N. Y. Franklin"},{"@pid":"67/7976","text":"Dan Turetsky"}]},"title":"Lowness for isomorphism and degrees of genericity.","venue":"Comput.","volume":"7","number":"1","pages":"1-6","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/FranklinT18","doi":"10.3233/COM-170078","ee":"https://doi.org/10.3233/COM-170078","url":"https://dblp.org/rec/journals/computability/FranklinT18"}, "url":"URL#2370740" }, { "@score":"1", "@id":"2370741", "info":{"authors":{"author":[{"@pid":"33/3434","text":"Hristo Aleksndrov Ganchev"},{"@pid":"49/1453","text":"Mariya Ivanova Soskova"}]},"title":"The jump hierarchy in the enumeration degrees.","venue":"Comput.","volume":"7","number":"2-3","pages":"179-188","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/GanchevS18","doi":"10.3233/COM-170072","ee":"https://doi.org/10.3233/COM-170072","url":"https://dblp.org/rec/journals/computability/GanchevS18"}, "url":"URL#2370741" }, { "@score":"1", "@id":"2370742", "info":{"authors":{"author":[{"@pid":"150/4919","text":"Shuichi Hirahara"},{"@pid":"83/2840","text":"Akitoshi Kawamura"}]},"title":"On characterizations of randomized computation using plain Kolmogorov complexity.","venue":"Comput.","volume":"7","number":"1","pages":"45-56","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/HiraharaK18","doi":"10.3233/COM-170075","ee":"https://doi.org/10.3233/COM-170075","url":"https://dblp.org/rec/journals/computability/HiraharaK18"}, "url":"URL#2370742" }, { "@score":"1", "@id":"2370743", "info":{"authors":{"author":[{"@pid":"43/7759","text":"Zvonko Iljazovic"},{"@pid":"212/8113","text":"Bojan Pazek"}]},"title":"Computable intersection points.","venue":"Comput.","volume":"7","number":"1","pages":"57-99","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/IljazovicP18","doi":"10.3233/COM-170079","ee":"https://doi.org/10.3233/COM-170079","url":"https://dblp.org/rec/journals/computability/IljazovicP18"}, "url":"URL#2370743" }, { "@score":"1", "@id":"2370744", "info":{"authors":{"author":[{"@pid":"j/SanjayJain1","text":"Sanjay Jain 0001"},{"@pid":"59/1434","text":"Bakhadyr Khoussainov"},{"@pid":"s/FrankStephan","text":"Frank Stephan 0001"}]},"title":"Finitely generated semiautomatic groups.","venue":"Comput.","volume":"7","number":"2-3","pages":"273-287","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/JainKS18","doi":"10.3233/COM-180089","ee":"https://doi.org/10.3233/COM-180089","url":"https://dblp.org/rec/journals/computability/JainKS18"}, "url":"URL#2370744" }, { "@score":"1", "@id":"2370745", "info":{"authors":{"author":{"@pid":"126/5207","text":"Andrew E. M. Lewis-Pye"}},"title":"The search for natural definability in the Turing degrees.","venue":"Comput.","volume":"7","number":"2-3","pages":"189-235","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/Lewis-Pye18","doi":"10.3233/COM-170068","ee":"https://doi.org/10.3233/COM-170068","url":"https://dblp.org/rec/journals/computability/Lewis-Pye18"}, "url":"URL#2370745" }, { "@score":"1", "@id":"2370746", "info":{"authors":{"author":[{"@pid":"66/4917","text":"Angsheng Li"},{"@pid":"22/4171","text":"Mingji Xia"}]},"title":"Splitting and jump inversion in the Turing degrees.","venue":"Comput.","volume":"7","number":"2-3","pages":"133-142","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/LiX18","doi":"10.3233/COM-180083","ee":"https://doi.org/10.3233/COM-180083","url":"https://dblp.org/rec/journals/computability/LiX18"}, "url":"URL#2370746" }, { "@score":"1", "@id":"2370747", "info":{"authors":{"author":{"@pid":"47/6904","text":"Benedikt Löwe"}},"title":"Preface to the special issue in memory of S. Barry Cooper (1943-2015).","venue":"Comput.","volume":"7","number":"2-3","pages":"101","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/Lowe18","doi":"10.3233/COM-180091","ee":"https://doi.org/10.3233/COM-180091","url":"https://dblp.org/rec/journals/computability/Lowe18"}, "url":"URL#2370747" }, { "@score":"1", "@id":"2370748", "info":{"authors":{"author":{"@pid":"02/7444","text":"Ludovic Patey"}},"title":"Partial orders and immunity in reverse mathematics.","venue":"Comput.","volume":"7","number":"4","pages":"323-339","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/Patey18","doi":"10.3233/COM-170071","ee":"https://doi.org/10.3233/COM-170071","url":"https://dblp.org/rec/journals/computability/Patey18"}, "url":"URL#2370748" }, { "@score":"1", "@id":"2370749", "info":{"authors":{"author":[{"@pid":"130/5219","text":"Diogo Poças"},{"@pid":"51/2074","text":"Jeffery I. Zucker"}]},"title":"Analog networks on function data streams.","venue":"Comput.","volume":"7","number":"4","pages":"301-322","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/PocasZ18","doi":"10.3233/COM-170077","ee":"https://doi.org/10.3233/COM-170077","url":"https://dblp.org/rec/journals/computability/PocasZ18"}, "url":"URL#2370749" }, { "@score":"1", "@id":"2370750", "info":{"authors":{"author":{"@pid":"63/7976","text":"Sam Sanders"}},"title":"The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis.","venue":"Comput.","volume":"7","number":"1","pages":"7-43","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/Sanders18","doi":"10.3233/COM-170074","ee":"https://doi.org/10.3233/COM-170074","url":"https://dblp.org/rec/journals/computability/Sanders18"}, "url":"URL#2370750" }, { "@score":"1", "@id":"2370751", "info":{"authors":{"author":[{"@pid":"60/934","text":"Victor L. Selivanov"},{"@pid":"135/9372","text":"Mars M. Yamaleev"}]},"title":"Extending Cooper's theorem to Δ 3 0 Turing degrees.","venue":"Comput.","volume":"7","number":"2-3","pages":"289-300","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/SelivanovY18","doi":"10.3233/COM-180085","ee":"https://doi.org/10.3233/COM-180085","url":"https://dblp.org/rec/journals/computability/SelivanovY18"}, "url":"URL#2370751" }, { "@score":"1", "@id":"2370752", "info":{"authors":{"author":{"@pid":"33/2221","text":"Matthew Wright"}},"title":"Degrees of relations on ordinals.","venue":"Comput.","volume":"7","number":"4","pages":"349-365","year":"2018","type":"Journal Articles","access":"closed","key":"journals/computability/Wright18","doi":"10.3233/COM-180086","ee":"https://doi.org/10.3233/COM-180086","url":"https://dblp.org/rec/journals/computability/Wright18"}, "url":"URL#2370752" }, { "@score":"1", "@id":"2739658", "info":{"authors":{"author":[{"@pid":"146/4549","text":"Francis Adams"},{"@pid":"c/DouglasCenzer","text":"Douglas Cenzer"}]},"title":"Computability and categoricity of weakly ultrahomogeneous structures.","venue":"Comput.","volume":"6","number":"4","pages":"365-389","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/AdamsC17","doi":"10.3233/COM-170070","ee":"https://doi.org/10.3233/COM-170070","url":"https://dblp.org/rec/journals/computability/AdamsC17"}, "url":"URL#2739658" }, { "@score":"1", "@id":"2739659", "info":{"authors":{"author":[{"@pid":"a/ManindraAgrawal","text":"Manindra Agrawal"},{"@pid":"144/2365","text":"Diptarka Chakraborty"},{"@pid":"145/0249-1","text":"Debarati Das 0001"},{"@pid":"38/5248","text":"Satyadev Nandakumar"}]},"title":"Dimension, pseudorandomness and extraction of pseudorandomness.","venue":"Comput.","volume":"6","number":"3","pages":"277-305","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/AgrawalCDN17","doi":"10.3233/COM-160066","ee":"https://doi.org/10.3233/COM-160066","url":"https://dblp.org/rec/journals/computability/AgrawalCDN17"}, "url":"URL#2739659" }, { "@score":"1", "@id":"2739660", "info":{"authors":{"author":{"@pid":"04/8629","text":"Merlin Carl"}},"title":"Infinite time recognizability from generic oracles and the recognizable jump operator.","venue":"Comput.","volume":"6","number":"3","pages":"223-247","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/Carl17","doi":"10.3233/COM-160061","ee":"https://doi.org/10.3233/COM-160061","url":"https://dblp.org/rec/journals/computability/Carl17"}, "url":"URL#2739660" }, { "@score":"1", "@id":"2739661", "info":{"authors":{"author":[{"@pid":"11/375","text":"Peter Cholak"},{"@pid":"79/7976","text":"Rachel Epstein"}]},"title":"Computably enumerable sets that are automorphic to low sets.","venue":"Comput.","volume":"6","number":"1","pages":"23-45","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/CholakE17","doi":"10.3233/COM-160053","ee":"https://doi.org/10.3233/COM-160053","url":"https://dblp.org/rec/journals/computability/CholakE17"}, "url":"URL#2739661" }, { "@score":"1", "@id":"2739662", "info":{"authors":{"author":[{"@pid":"96/7633","text":"Damir D. Dzhafarov"},{"@pid":"130/2409","text":"Gregory Igusa"}]},"title":"Notions of robust information coding.","venue":"Comput.","volume":"6","number":"2","pages":"105-124","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/DzhafarovI17","doi":"10.3233/COM-160059","ee":"https://doi.org/10.3233/COM-160059","url":"https://dblp.org/rec/journals/computability/DzhafarovI17"}, "url":"URL#2739662" }, { "@score":"1", "@id":"2739663", "info":{"authors":{"author":[{"@pid":"121/8321","text":"Emanuele Frittaion"},{"@pid":"02/7444","text":"Ludovic Patey"}]},"title":"Coloring the rationals in reverse mathematics.","venue":"Comput.","volume":"6","number":"4","pages":"319-331","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/FrittaionP17","doi":"10.3233/COM-160067","ee":"https://doi.org/10.3233/COM-160067","url":"https://dblp.org/rec/journals/computability/FrittaionP17"}, "url":"URL#2739663" }, { "@score":"1", "@id":"2739664", "info":{"authors":{"author":[{"@pid":"79/2554","text":"Rica Gonen"},{"@pid":"92/3123","text":"Anat Lerner"}]},"title":"Characterizing incentive compatible, Pareto optimal and sufficiently anonymous constrained combinatorial mechanisms - Two players case.","venue":"Comput.","volume":"6","number":"2","pages":"183-208","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/GonenL17","doi":"10.3233/COM-160064","ee":"https://doi.org/10.3233/COM-160064","url":"https://dblp.org/rec/journals/computability/GonenL17"}, "url":"URL#2739664" }, { "@score":"1", "@id":"2739665", "info":{"authors":{"author":[{"@pid":"63/9687","text":"Martin Huschenbett"},{"@pid":"61/7234","text":"Alexander Kartzow"},{"@pid":"89/10105","text":"Philipp Schlicht"}]},"title":"Pumping for ordinal-automatic structures.","venue":"Comput.","volume":"6","number":"2","pages":"125-164","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/HuschenbettKS17","doi":"10.3233/COM-160057","ee":"https://doi.org/10.3233/COM-160057","url":"https://dblp.org/rec/journals/computability/HuschenbettKS17"}, "url":"URL#2739665" }, { "@score":"1", "@id":"2739666", "info":{"authors":{"author":[{"@pid":"i/OscarHIbarra","text":"Oscar H. Ibarra"},{"@pid":"90/10266","text":"Cewei Cui"},{"@pid":"51/5888","text":"Zhe Dang"},{"@pid":"22/1750","text":"Thomas R. Fischer"}]},"title":"Lossiness of communication channels modeled by transducers.","venue":"Comput.","volume":"6","number":"2","pages":"165-181","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/IbarraCDF17","doi":"10.3233/COM-150050","ee":"https://doi.org/10.3233/COM-150050","url":"https://dblp.org/rec/journals/computability/IbarraCDF17"}, "url":"URL#2739666" }, { "@score":"1", "@id":"2739667", "info":{"authors":{"author":[{"@pid":"j/SanjayJain1","text":"Sanjay Jain 0001"},{"@pid":"s/FrankStephan","text":"Frank Stephan 0001"},{"@pid":"77/1405","text":"Jason Teutsch"}]},"title":"Closed left-r.e. sets.","venue":"Comput.","volume":"6","number":"1","pages":"1-21","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/JainST17","doi":"10.3233/COM-160054","ee":"https://doi.org/10.3233/COM-160054","url":"https://dblp.org/rec/journals/computability/JainST17"}, "url":"URL#2739667" }, { "@score":"1", "@id":"2739668", "info":{"authors":{"author":{"@pid":"05/337","text":"Lars Kristiansen"}},"title":"On subrecursive representability of irrational numbers.","venue":"Comput.","volume":"6","number":"3","pages":"249-276","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/Kristiansen17","doi":"10.3233/COM-160063","ee":"https://doi.org/10.3233/COM-160063","url":"https://dblp.org/rec/journals/computability/Kristiansen17"}, "url":"URL#2739668" }, { "@score":"1", "@id":"2739669", "info":{"authors":{"author":{"@pid":"42/7758","text":"Timothy H. McNicholl"}},"title":"Computable copies of ℓp.","venue":"Comput.","volume":"6","number":"4","pages":"391-408","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/McNicholl17","doi":"10.3233/COM-160065","ee":"https://doi.org/10.3233/COM-160065","url":"https://dblp.org/rec/journals/computability/McNicholl17"}, "url":"URL#2739669" }, { "@score":"1", "@id":"2739670", "info":{"authors":{"author":[{"@pid":"47/2636","text":"Alexei Miasnikov"},{"@pid":"19/318","text":"Paul E. Schupp"}]},"title":"Computational complexity and the conjugacy problem.","venue":"Comput.","volume":"6","number":"4","pages":"307-318","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/MiasnikovS17","doi":"10.3233/COM-160060","ee":"https://doi.org/10.3233/COM-160060","url":"https://dblp.org/rec/journals/computability/MiasnikovS17"}, "url":"URL#2739670" }, { "@score":"1", "@id":"2739671", "info":{"authors":{"author":{"@pid":"116/7913","text":"Arthur Milchior"}},"title":"Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set.","venue":"Comput.","volume":"6","number":"4","pages":"333-363","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/Milchior17","doi":"10.3233/COM-170069","ee":"https://doi.org/10.3233/COM-170069","url":"https://dblp.org/rec/journals/computability/Milchior17"}, "url":"URL#2739671" }, { "@score":"1", "@id":"2739672", "info":{"authors":{"author":{"@pid":"02/7444","text":"Ludovic Patey"}},"title":"Controlling iterated jumps of solutions to combinatorial problems.","venue":"Comput.","volume":"6","number":"1","pages":"47-78","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/Patey17","doi":"10.3233/COM-160056","ee":"https://doi.org/10.3233/COM-160056","url":"https://dblp.org/rec/journals/computability/Patey17"}, "url":"URL#2739672" }, { "@score":"1", "@id":"2739673", "info":{"authors":{"author":{"@pid":"02/7444","text":"Ludovic Patey"}},"title":"Iterative forcing and hyperimmunity in reverse mathematics.","venue":"Comput.","volume":"6","number":"3","pages":"209-221","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/Patey17a","doi":"10.3233/COM-160062","ee":"https://doi.org/10.3233/COM-160062","url":"https://dblp.org/rec/journals/computability/Patey17a"}, "url":"URL#2739673" }, { "@score":"1", "@id":"2739674", "info":{"authors":{"author":{"@pid":"w/KWeihrauch","text":"Klaus Weihrauch"}},"title":"Computability on measurable functions.","venue":"Comput.","volume":"6","number":"1","pages":"79-104","year":"2017","type":"Journal Articles","access":"closed","key":"journals/computability/Weihrauch17","doi":"10.3233/COM-160058","ee":"https://doi.org/10.3233/COM-160058","url":"https://dblp.org/rec/journals/computability/Weihrauch17"}, "url":"URL#2739674" }, { "@score":"1", "@id":"3078355", "info":{"authors":{"author":[{"@pid":"177/0553","text":"Sankha S. Basu"},{"@pid":"22/1390","text":"Stephen G. Simpson"}]},"title":"Mass problems and intuitionistic higher-order logic.","venue":"Comput.","volume":"5","number":"1","pages":"29-47","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/BasuS16","doi":"10.3233/COM-150041","ee":"https://doi.org/10.3233/COM-150041","url":"https://dblp.org/rec/journals/computability/BasuS16"}, "url":"URL#3078355" }, { "@score":"1", "@id":"3078356", "info":{"authors":{"author":[{"@pid":"b/VascoBrattka","text":"Vasco Brattka"},{"@pid":"80/4509","text":"Paola Bonizzoni"},{"@pid":"04/2119","text":"Olivier Bournez"},{"@pid":"71/5254","text":"Elvira Mayordomo"}]},"title":"Editorial.","venue":"Comput.","volume":"5","number":"1","pages":"1","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/BrattkaBBM16","doi":"10.3233/COM-160051","ee":"https://doi.org/10.3233/COM-160051","url":"https://dblp.org/rec/journals/computability/BrattkaBBM16"}, "url":"URL#3078356" }, { "@score":"1", "@id":"3078357", "info":{"authors":{"author":[{"@pid":"54/8976","text":"Mingzhong Cai"},{"@pid":"81/6401","text":"Steffen Lempp"},{"@pid":"75/629","text":"Joseph S. Miller"},{"@pid":"49/1453","text":"Mariya Ivanova Soskova"}]},"title":"On Kalimullin pairs.","venue":"Comput.","volume":"5","number":"2","pages":"111-126","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/CaiLMS15","doi":"10.3233/COM-150046","ee":"https://doi.org/10.3233/COM-150046","url":"https://dblp.org/rec/journals/computability/CaiLMS15"}, "url":"URL#3078357" }, { "@score":"1", "@id":"3078358", "info":{"authors":{"author":{"@pid":"04/8629","text":"Merlin Carl"}},"title":"Randomness and degree theory for infinite time register machines.","venue":"Comput.","volume":"5","number":"2","pages":"181-196","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/Carl15","doi":"10.3233/COM-160055","ee":"https://doi.org/10.3233/COM-160055","url":"https://dblp.org/rec/journals/computability/Carl15"}, "url":"URL#3078358" }, { "@score":"1", "@id":"3078359", "info":{"authors":{"author":[{"@pid":"180/1275","text":"Eric Faber"},{"@pid":"01/3002","text":"Jaap van Oosten"}]},"title":"Effective operations of type 2 in PCAs.","venue":"Comput.","volume":"5","number":"2","pages":"127-146","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/FaberO15","doi":"10.3233/COM-150048","ee":"https://doi.org/10.3233/COM-150048","url":"https://dblp.org/rec/journals/computability/FaberO15"}, "url":"URL#3078359" }, { "@score":"1", "@id":"3078360", "info":{"authors":{"author":{"@pid":"149/3598","text":"Ian Herbert"}},"title":"Lowness for integer-valued randomness.","venue":"Comput.","volume":"5","number":"2","pages":"103-109","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/Herbert15","doi":"10.3233/COM-150045","ee":"https://doi.org/10.3233/COM-150045","url":"https://dblp.org/rec/journals/computability/Herbert15"}, "url":"URL#3078360" }, { "@score":"1", "@id":"3078361", "info":{"authors":{"author":[{"@pid":"47/5632","text":"Denis R. Hirschfeldt"},{"@pid":"68/5248","text":"Carl G. Jockusch Jr."},{"@pid":"42/7758","text":"Timothy H. McNicholl"},{"@pid":"19/318","text":"Paul E. Schupp"}]},"title":"Asymptotic density and the coarse computability bound.","venue":"Comput.","volume":"5","number":"1","pages":"13-27","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/HirschfeldtJMS16","doi":"10.3233/COM-150035","ee":"https://doi.org/10.3233/COM-150035","url":"https://dblp.org/rec/journals/computability/HirschfeldtJMS16"}, "url":"URL#3078361" }, { "@score":"1", "@id":"3078362", "info":{"authors":{"author":[{"@pid":"29/1833","text":"Rupert Hölzl 0001"},{"@pid":"s/FrankStephan","text":"Frank Stephan 0001"},{"@pid":"28/1433","text":"Liang Yu"}]},"title":"On Martin's pointed tree theorem.","venue":"Comput.","volume":"5","number":"2","pages":"147-157","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/HolzlSY15","doi":"10.3233/COM-150047","ee":"https://doi.org/10.3233/COM-150047","url":"https://dblp.org/rec/journals/computability/HolzlSY15"}, "url":"URL#3078362" }, { "@score":"1", "@id":"3078363", "info":{"authors":{"author":{"@pid":"47/6904","text":"Benedikt Löwe"}},"title":"Barry Cooper (1943-2015): The engine of Computability in Europe.","venue":"Comput.","volume":"5","number":"1","pages":"3-11","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/Lowe16","doi":"10.3233/COM-160052","ee":"https://doi.org/10.3233/COM-160052","url":"https://dblp.org/rec/journals/computability/Lowe16"}, "url":"URL#3078363" }, { "@score":"1", "@id":"3078364", "info":{"authors":{"author":{"@pid":"177/0585","text":"Albert A. Muchnik"}},"title":"Strong and weak reducibility of algorithmic problems.","venue":"Comput.","volume":"5","number":"1","pages":"49-59","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/Muchnik16","doi":"10.3233/COM-150042","ee":"https://doi.org/10.3233/COM-150042","url":"https://dblp.org/rec/journals/computability/Muchnik16"}, "url":"URL#3078364" }, { "@score":"1", "@id":"3078365", "info":{"authors":{"author":{"@pid":"97/6798","text":"Arno Pauly"}},"title":"On the topological aspects of the theory of represented spaces.","venue":"Comput.","volume":"5","number":"2","pages":"159-180","year":"2016","type":"Journal Articles","access":"closed","key":"journals/computability/Pauly15","doi":"10.3233/COM-150049","ee":"https://doi.org/10.3233/COM-150049","url":"https://dblp.org/rec/journals/computability/Pauly15"}, "url":"URL#3078365" }, { "@score":"1", "@id":"3393187", "info":{"authors":{"author":{"@pid":"166/4303","text":"Eric P. Astor"}},"title":"Asymptotic density, immunity and randomness.","venue":"Comput.","volume":"4","number":"2","pages":"141-158","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/Astor15","doi":"10.3233/COM-150040","ee":"https://doi.org/10.3233/COM-150040","url":"https://dblp.org/rec/journals/computability/Astor15"}, "url":"URL#3393187" }, { "@score":"1", "@id":"3393188", "info":{"authors":{"author":{"@pid":"b/AMBenAmram","text":"Amir M. Ben-Amram"}},"title":"Mortality of iterated piecewise affine functions over the integers: Decidability and complexity.","venue":"Comput.","volume":"4","number":"1","pages":"19-56","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/Ben-Amram15","doi":"10.3233/COM-150032","ee":"https://doi.org/10.3233/COM-150032","url":"https://dblp.org/rec/journals/computability/Ben-Amram15"}, "url":"URL#3393188" }, { "@score":"1", "@id":"3393189", "info":{"authors":{"author":[{"@pid":"166/4283","text":"Kirill Gura"},{"@pid":"25/7040","text":"Jeffry L. Hirst"},{"@pid":"69/6279","text":"Carl Mummert"}]},"title":"On the existence of a connected component of a graph.","venue":"Comput.","volume":"4","number":"2","pages":"103-117","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/GuraHM15","doi":"10.3233/COM-150039","ee":"https://doi.org/10.3233/COM-150039","url":"https://dblp.org/rec/journals/computability/GuraHM15"}, "url":"URL#3393189" }, { "@score":"1", "@id":"3393190", "info":{"authors":{"author":{"@pid":"75/4186","text":"Charles M. Harris"}},"title":"On limitwise monotonicity and maximal block functions.","venue":"Comput.","volume":"4","number":"2","pages":"119-139","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/Harris15","doi":"10.3233/COM-150037","ee":"https://doi.org/10.3233/COM-150037","url":"https://dblp.org/rec/journals/computability/Harris15"}, "url":"URL#3393190" }, { "@score":"1", "@id":"3393191", "info":{"authors":{"author":[{"@pid":"61/7036","text":"Jack H. Lutz"},{"@pid":"140/7268","text":"Neil Lutz"}]},"title":"Lines missing every random point.","venue":"Comput.","volume":"4","number":"2","pages":"85-102","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/LutzL15","doi":"10.3233/COM-150038","ee":"https://doi.org/10.3233/COM-150038","url":"https://dblp.org/rec/journals/computability/LutzL15"}, "url":"URL#3393191" }, { "@score":"1", "@id":"3393192", "info":{"authors":{"author":{"@pid":"02/7444","text":"Ludovic Patey"}},"title":"The complexity of satisfaction problems in reverse mathematics.","venue":"Comput.","volume":"4","number":"1","pages":"69-84","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/Patey15","doi":"10.3233/COM-150034","ee":"https://doi.org/10.3233/COM-150034","url":"https://dblp.org/rec/journals/computability/Patey15"}, "url":"URL#3393192" }, { "@score":"1", "@id":"3393193", "info":{"authors":{"author":[{"@pid":"12/7010","text":"Matthias Schröder 0001"},{"@pid":"60/934","text":"Victor L. Selivanov"}]},"title":"Hyperprojective hierarchy of qcb0-spaces.","venue":"Comput.","volume":"4","number":"1","pages":"1-17","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/SchroderS15","doi":"10.3233/COM-150031","ee":"https://doi.org/10.3233/COM-150031","url":"https://dblp.org/rec/journals/computability/SchroderS15"}, "url":"URL#3393193" }, { "@score":"1", "@id":"3393194", "info":{"authors":{"author":{"@pid":"131/7630","text":"Stanislav O. Speranski"}},"title":"Some new results in monadic second-order arithmetic.","venue":"Comput.","volume":"4","number":"2","pages":"159-174","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/Speranski15","doi":"10.3233/COM-150036","ee":"https://doi.org/10.3233/COM-150036","url":"https://dblp.org/rec/journals/computability/Speranski15"}, "url":"URL#3393194" }, { "@score":"1", "@id":"3393195", "info":{"authors":{"author":{"@pid":"55/1792","text":"Henry Towsner"}},"title":"On maximum conservative extensions.","venue":"Comput.","volume":"4","number":"1","pages":"57-68","year":"2015","type":"Journal Articles","access":"closed","key":"journals/computability/Towsner15","doi":"10.3233/COM-150033","ee":"https://doi.org/10.3233/COM-150033","url":"https://dblp.org/rec/journals/computability/Towsner15"}, "url":"URL#3393195" }, { "@score":"1", "@id":"3694737", "info":{"authors":{"author":[{"@pid":"66/4637","text":"Cristina Bazgan"},{"@pid":"72/10358","text":"Morgan Chopin"},{"@pid":"32/8821","text":"André Nichterlein"},{"@pid":"32/6121","text":"Florian Sikora"}]},"title":"Parameterized Inapproximability of Target Set Selection and Generalizations.","venue":"Comput.","volume":"3","number":"2","pages":"135-145","year":"2014","type":"Journal Articles","access":"closed","key":"journals/computability/BazganCNS14","doi":"10.3233/COM-140030","ee":"https://doi.org/10.3233/COM-140030","url":"https://dblp.org/rec/journals/computability/BazganCNS14"}, "url":"URL#3694737" }, { "@score":"1", "@id":"3694738", "info":{"authors":{"author":[{"@pid":"93/361","text":"Wesley Calvert"},{"@pid":"19/4155","text":"Valentina S. Harizanov"},{"@pid":"92/113","text":"Alexandra Shlapentokh"}]},"title":"Turing Degrees of Isomorphism Types of Geometric Objects.","venue":"Comput.","volume":"3","number":"2","pages":"105-134","year":"2014","type":"Journal Articles","access":"closed","key":"journals/computability/CalvertHS14","doi":"10.3233/COM-140029","ee":"https://doi.org/10.3233/COM-140029","url":"https://dblp.org/rec/journals/computability/CalvertHS14"}, "url":"URL#3694738" }, { "@score":"1", "@id":"3694739", "info":{"authors":{"author":[{"@pid":"63/717","text":"Johanna N. Y. Franklin"},{"@pid":"65/3079","text":"Reed Solomon"}]},"title":"Degrees that Are Low for Isomorphism.","venue":"Comput.","volume":"3","number":"2","pages":"73-89","year":"2014","type":"Journal Articles","access":"closed","key":"journals/computability/FranklinS14","doi":"10.3233/COM-140027","ee":"https://doi.org/10.3233/COM-140027","url":"https://dblp.org/rec/journals/computability/FranklinS14"}, "url":"URL#3694739" }, { "@score":"1", "@id":"3694740", "info":{"authors":{"author":[{"@pid":"22/7229","text":"Cameron E. Freer"},{"@pid":"16/4316","text":"Bjørn Kjos-Hanssen"},{"@pid":"72/1421","text":"André Nies"},{"@pid":"s/FrankStephan","text":"Frank Stephan 0001"}]},"title":"Algorithmic Aspects of Lipschitz Functions.","venue":"Comput.","volume":"3","number":"1","pages":"45-61","year":"2014","type":"Journal Articles","access":"closed","key":"journals/computability/FreerKNS14","doi":"10.3233/COM-14025","ee":"https://doi.org/10.3233/COM-14025","url":"https://dblp.org/rec/journals/computability/FreerKNS14"}, "url":"URL#3694740" }, { "@score":"1", "@id":"3694741", "info":{"authors":{"author":[{"@pid":"23/1065","text":"Ryan C. Harkins"},{"@pid":"57/747","text":"John M. Hitchcock"},{"@pid":"88/1807","text":"Aduri Pavan"}]},"title":"Strong Reductions and Isomorphism of Complete Sets.","venue":"Comput.","volume":"3","number":"2","pages":"91-104","year":"2014","type":"Journal Articles","access":"closed","key":"journals/computability/HarkinsHP14","doi":"10.3233/COM-140028","ee":"https://doi.org/10.3233/COM-140028","url":"https://dblp.org/rec/journals/computability/HarkinsHP14"}, "url":"URL#3694741" }, { "@score":"1", "@id":"3694742", "info":{"authors":{"author":[{"@pid":"85/2767","text":"Keng Meng Ng"},{"@pid":"72/1421","text":"André Nies"},{"@pid":"s/FrankStephan","text":"Frank Stephan 0001"}]},"title":"The Complexity of Recursive Splittings of Random Sets.","venue":"Comput.","volume":"3","number":"1","pages":"1-8","year":"2014","type":"Journal Articles","access":"closed","key":"journals/computability/NgNS14","doi":"10.3233/COM-14023","ee":"https://doi.org/10.3233/COM-14023","url":"https://dblp.org/rec/journals/computability/NgNS14"}, "url":"URL#3694742" }, { "@score":"1", "@id":"3694743", "info":{"authors":{"author":{"@pid":"146/1196","text":"Stela Nikolova"}},"title":"Shared thoughts on Ivan Soskov (1954-2013).","venue":"Comput.","volume":"3","number":"1","pages":"63-72","year":"2014","type":"Journal Articles","access":"closed","key":"journals/computability/Nikolova14","doi":"10.3233/COM-14026","ee":"https://doi.org/10.3233/COM-14026","url":"https://dblp.org/rec/journals/computability/Nikolova14"}, "url":"URL#3694743" }, { "@score":"1", "@id":"3694744", "info":{"authors":{"author":[{"@pid":"t/JohnVTucker","text":"John V. Tucker"},{"@pid":"51/2074","text":"Jeffery I. Zucker"}]},"title":"Computability of Operators on Continuous and Discrete Time Streams.","venue":"Comput.","volume":"3","number":"1","pages":"9-44","year":"2014","type":"Journal Articles","access":"closed","key":"journals/computability/TuckerZ14","doi":"10.3233/COM-14024","ee":"https://doi.org/10.3233/COM-14024","url":"https://dblp.org/rec/journals/computability/TuckerZ14"}, "url":"URL#3694744" }, { "@score":"1", "@id":"3985957", "info":{"authors":{"author":[{"@pid":"139/0562","text":"Jacob Carson"},{"@pid":"116/2784","text":"Jesse Johnson"},{"@pid":"29/4655","text":"Julia F. Knight"},{"@pid":"48/7976","text":"Karen M. Lange"},{"@pid":"62/4953","text":"Charles F. D. McCoy"},{"@pid":"139/0567","text":"John Wallbaum"}]},"title":"The Arithmetical Hierarchy in the Setting of ω1.","venue":"Comput.","volume":"2","number":"2","pages":"93-105","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/CarsonJKLMW13","doi":"10.3233/COM-13022","ee":"https://doi.org/10.3233/COM-13022","url":"https://dblp.org/rec/journals/computability/CarsonJKLMW13"}, "url":"URL#3985957" }, { "@score":"1", "@id":"3985958", "info":{"authors":{"author":[{"@pid":"49/7224","text":"David Diamondstone"},{"@pid":"83/2349","text":"Noam Greenberg"},{"@pid":"67/7976","text":"Daniel Turetsky"}]},"title":"Natural Large Degree Spectra.","venue":"Comput.","volume":"2","number":"1","pages":"1-8","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/DiamondstoneGT13","doi":"10.3233/COM-13008","ee":"https://doi.org/10.3233/COM-13008","url":"https://dblp.org/rec/journals/computability/DiamondstoneGT13"}, "url":"URL#3985958" }, { "@score":"1", "@id":"3985959", "info":{"authors":{"author":{"@pid":"88/5400","text":"Hannes Diener"}},"title":"Weak König's Lemma Implies the Uniform Continuity Theorem.","venue":"Comput.","volume":"2","number":"1","pages":"9-13","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/Diener13","doi":"10.3233/COM-13009","ee":"https://doi.org/10.3233/COM-13009","url":"https://dblp.org/rec/journals/computability/Diener13"}, "url":"URL#3985959" }, { "@score":"1", "@id":"3985960", "info":{"authors":{"author":[{"@pid":"119/5780","text":"François G. Dorais"},{"@pid":"25/7040","text":"Jeffry L. Hirst"},{"@pid":"25/184","text":"Paul Shafer"}]},"title":"Reverse Mathematics and Algebraic Field Extensions.","venue":"Comput.","volume":"2","number":"2","pages":"75-92","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/DoraisHS13","doi":"10.3233/COM-13021","ee":"https://doi.org/10.3233/COM-13021","url":"https://dblp.org/rec/journals/computability/DoraisHS13"}, "url":"URL#3985960" }, { "@score":"1", "@id":"3985961", "info":{"authors":{"author":[{"@pid":"e/HartmutEhrig","text":"Hartmut Ehrig"},{"@pid":"97/4469","text":"Claudia Ermel"},{"@pid":"53/3339","text":"Falk Hüffner"},{"@pid":"n/RolfNiedermeier","text":"Rolf Niedermeier"},{"@pid":"42/947","text":"Olga Runge"}]},"title":"Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.","venue":"Comput.","volume":"2","number":"1","pages":"31-49","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/EhrigEHNR13","doi":"10.3233/COM-13016","ee":"https://doi.org/10.3233/COM-13016","url":"https://dblp.org/rec/journals/computability/EhrigEHNR13"}, "url":"URL#3985961" }, { "@score":"1", "@id":"3985962", "info":{"authors":{"author":[{"@pid":"63/2395","text":"Russell G. Miller"},{"@pid":"94/4697","text":"Hans Schoutens"}]},"title":"Computably Categorical Fields via Fermat's Last Theorem.","venue":"Comput.","volume":"2","number":"1","pages":"51-65","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/MillerS13","doi":"10.3233/COM-13017","ee":"https://doi.org/10.3233/COM-13017","url":"https://dblp.org/rec/journals/computability/MillerS13"}, "url":"URL#3985962" }, { "@score":"1", "@id":"3985963", "info":{"authors":{"author":{"@pid":"76/8976","text":"Kenshi Miyabe"}},"title":"L1-Computability, Layerwise Computability and Solovay Reducibility.","venue":"Comput.","volume":"2","number":"1","pages":"15-29","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/Miyabe13","doi":"10.3233/COM-13015","ee":"https://doi.org/10.3233/COM-13015","url":"https://dblp.org/rec/journals/computability/Miyabe13"}, "url":"URL#3985963" }, { "@score":"1", "@id":"3985964", "info":{"authors":{"author":[{"@pid":"70/1118","text":"Shinnosuke Seki"},{"@pid":"79/6343","text":"Yasushi Okuno"}]},"title":"On the Behavior of Tile Assembly System at High Temperatures.","venue":"Comput.","volume":"2","number":"2","pages":"107-124","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/SekiO13","doi":"10.3233/COM-13020","ee":"https://doi.org/10.3233/COM-13020","url":"https://dblp.org/rec/journals/computability/SekiO13"}, "url":"URL#3985964" }, { "@score":"1", "@id":"3985965", "info":{"authors":{"author":{"@pid":"09/6305","text":"Dimiter Skordev"}},"title":"On Some Computability Notions for Real Functions.","venue":"Comput.","volume":"2","number":"1","pages":"67-73","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/Skordev13","doi":"10.3233/COM-13018","ee":"https://doi.org/10.3233/COM-13018","url":"https://dblp.org/rec/journals/computability/Skordev13"}, "url":"URL#3985965" }, { "@score":"1", "@id":"3985966", "info":{"authors":{"author":[{"@pid":"95/3644","text":"Fernando Soler-Toscano"},{"@pid":"z/HectorZenilChavez","text":"Hector Zenil"},{"@pid":"90/2870","text":"Jean-Paul Delahaye"},{"@pid":"36/1958","text":"Nicolas Gauvrit"}]},"title":"Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures.","venue":"Comput.","volume":"2","number":"2","pages":"125-140","year":"2013","type":"Journal Articles","access":"closed","key":"journals/computability/Soler-ToscanoZDG13","doi":"10.3233/COM-13019","ee":"https://doi.org/10.3233/COM-13019","url":"https://dblp.org/rec/journals/computability/Soler-ToscanoZDG13"}, "url":"URL#3985966" }, { "@score":"1", "@id":"4266127", "info":{"authors":{"author":[{"@pid":"60/8261","text":"Alastair A. Abbott"},{"@pid":"c/CSCalude","text":"Cristian S. Calude"}]},"title":"Von Neumann Normalisation of a Quantum Random Number Generator.","venue":"Comput.","volume":"1","number":"1","pages":"59-83","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/AbbottC12","doi":"10.3233/COM-2012-001","ee":"https://doi.org/10.3233/COM-2012-001","url":"https://dblp.org/rec/journals/computability/AbbottC12"}, "url":"URL#4266127" }, { "@score":"1", "@id":"4266128", "info":{"authors":{"author":[{"@pid":"b/VascoBrattka","text":"Vasco Brattka"},{"@pid":"80/4509","text":"Paola Bonizzoni"},{"@pid":"06/5313","text":"S. Barry Cooper"},{"@pid":"47/6904","text":"Benedikt Löwe"},{"@pid":"71/5254","text":"Elvira Mayordomo"}]},"title":"Editorial.","venue":"Comput.","volume":"1","number":"1","pages":"1-2","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/BrattkaBCLM12","doi":"10.3233/COM-2012-007","ee":"https://doi.org/10.3233/COM-2012-007","url":"https://dblp.org/rec/journals/computability/BrattkaBCLM12"}, "url":"URL#4266128" }, { "@score":"1", "@id":"4266129", "info":{"authors":{"author":[{"@pid":"11/375","text":"Peter Cholak"},{"@pid":"96/7633","text":"Damir D. Dzhafarov"},{"@pid":"124/3180","text":"Noah David Schweber"},{"@pid":"47/6645","text":"Richard A. Shore"}]},"title":"Computably Enumerable Partial Orders.","venue":"Comput.","volume":"1","number":"2","pages":"99-107","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/CholakDSS12","doi":"10.3233/COM-12013","ee":"https://doi.org/10.3233/COM-12013","url":"https://dblp.org/rec/journals/computability/CholakDSS12"}, "url":"URL#4266129" }, { "@score":"1", "@id":"4266130", "info":{"authors":{"author":[{"@pid":"47/7226","text":"Samuel Coskey"},{"@pid":"54/3897","text":"Joel David Hamkins"},{"@pid":"63/2395","text":"Russell G. Miller"}]},"title":"The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility.","venue":"Comput.","volume":"1","number":"1","pages":"15-38","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/CoskeyHM12","doi":"10.3233/COM-2012-004","ee":"https://doi.org/10.3233/COM-2012-004","url":"https://dblp.org/rec/journals/computability/CoskeyHM12"}, "url":"URL#4266130" }, { "@score":"1", "@id":"4266131", "info":{"authors":{"author":[{"@pid":"47/5632","text":"Denis R. Hirschfeldt"},{"@pid":"67/3687","text":"Rebecca Weber"}]},"title":"Finite Self-Information.","venue":"Comput.","volume":"1","number":"1","pages":"85-98","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/HirschfeldtW12","doi":"10.3233/COM-2012-003","ee":"https://doi.org/10.3233/COM-2012-003","url":"https://dblp.org/rec/journals/computability/HirschfeldtW12"}, "url":"URL#4266131" }, { "@score":"1", "@id":"4266132", "info":{"authors":{"author":{"@pid":"57/747","text":"John M. Hitchcock"}},"title":"Limitations of Efficient Reducibility to the Kolmogorov Random Strings.","venue":"Comput.","volume":"1","number":"1","pages":"39-43","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/Hitchcock12","doi":"10.3233/COM-2012-006","ee":"https://doi.org/10.3233/COM-2012-006","url":"https://dblp.org/rec/journals/computability/Hitchcock12"}, "url":"URL#4266132" }, { "@score":"1", "@id":"4266133", "info":{"authors":{"author":[{"@pid":"86/1356","text":"Mathieu Hoyrup"},{"@pid":"83/3605","text":"Cristobal Rojas"},{"@pid":"w/KWeihrauch","text":"Klaus Weihrauch"}]},"title":"Computability of the Radon-Nikodym Derivative.","venue":"Comput.","volume":"1","number":"1","pages":"3-13","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/HoyrupRW12","doi":"10.3233/COM-2012-005","ee":"https://doi.org/10.3233/COM-2012-005","url":"https://dblp.org/rec/journals/computability/HoyrupRW12"}, "url":"URL#4266133" }, { "@score":"1", "@id":"4266134", "info":{"authors":{"author":{"@pid":"94/7632","text":"Takayuki Kihara"}},"title":"Incomputability of Simply Connected Planar Continua.","venue":"Comput.","volume":"1","number":"2","pages":"131-152","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/Kihara12","doi":"10.3233/COM-12012","ee":"https://doi.org/10.3233/COM-12012","url":"https://dblp.org/rec/journals/computability/Kihara12"}, "url":"URL#4266134" }, { "@score":"1", "@id":"4266135", "info":{"authors":{"author":{"@pid":"124/3170","text":"Alexander P. Kreuzer"}},"title":"On the Strength of Weak Compactness.","venue":"Comput.","volume":"1","number":"2","pages":"171-179","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/Kreuzer12","doi":"10.3233/COM-12010","ee":"https://doi.org/10.3233/COM-12010","url":"https://dblp.org/rec/journals/computability/Kreuzer12"}, "url":"URL#4266135" }, { "@score":"1", "@id":"4266136", "info":{"authors":{"author":[{"@pid":"74/2277","text":"Wolfgang Merkle"},{"@pid":"77/1405","text":"Jason Teutsch"}]},"title":"Constant Compression and Random Weights.","venue":"Comput.","volume":"1","number":"2","pages":"153-169","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/MerkleT12","doi":"10.3233/COM-12011","ee":"https://doi.org/10.3233/COM-12011","url":"https://dblp.org/rec/journals/computability/MerkleT12"}, "url":"URL#4266136" }, { "@score":"1", "@id":"4266137", "info":{"authors":{"author":{"@pid":"14/2638","text":"Anthony Morphett"}},"title":"Incompleteness, Approximation and Relative Randomness.","venue":"Comput.","volume":"1","number":"2","pages":"109-130","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/Morphett12","doi":"10.3233/COM-12014","ee":"https://doi.org/10.3233/COM-12014","url":"https://dblp.org/rec/journals/computability/Morphett12"}, "url":"URL#4266137" }, { "@score":"1", "@id":"4266138", "info":{"authors":{"author":[{"@pid":"89/10105","text":"Philipp Schlicht"},{"@pid":"46/7731","text":"Benjamin Seyfferth"}]},"title":"Tree Representations via Ordinal Machines.","venue":"Comput.","volume":"1","number":"1","pages":"45-57","year":"2012","type":"Journal Articles","access":"closed","key":"journals/computability/SchlichtS12","doi":"10.3233/COM-2012-002","ee":"https://doi.org/10.3233/COM-2012-002","url":"https://dblp.org/rec/journals/computability/SchlichtS12"}, "url":"URL#4266138" } ] } } } )