Search dblp for Publications

export results for "stream:streams/journals/computability:"

 download as .bib file

@article{DBLP:journals/computability/BrattkaDMP20,
  author    = {Vasco Brattka and
               Damir D. Dzhafarov and
               Alberto Marcone and
               Arno Pauly},
  title     = {Dagstuhl Seminar on Measuring the Complexity of Computational Content
               2018},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {167--168},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-208001},
  doi       = {10.3233/COM-208001},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BrattkaDMP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrechtPS20,
  author    = {Matthew de Brecht and
               Arno Pauly and
               Matthias Schr{\"{o}}der},
  title     = {Overt choice},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {169--191},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-190253},
  doi       = {10.3233/COM-190253},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BrechtPS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CaludeD20,
  author    = {Cristian S. Calude and
               Monica Dumitrescu},
  title     = {A statistical anytime algorithm for the Halting Problem},
  journal   = {Comput.},
  volume    = {9},
  number    = {2},
  pages     = {155--166},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-190250},
  doi       = {10.3233/COM-190250},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CaludeD20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CarlucciKLZ20,
  author    = {Lorenzo Carlucci and
               Leszek Aleksander Kolodziejczyk and
               Francesco Lepore and
               Konrad Zdanowski},
  title     = {New bounds on the strength of some restrictions of Hindman's Theorem},
  journal   = {Comput.},
  volume    = {9},
  number    = {2},
  pages     = {139--153},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-190264},
  doi       = {10.3233/COM-190264},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CarlucciKLZ20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CholakDHP20,
  author    = {Peter A. Cholak and
               Damir D. Dzhafarov and
               Denis R. Hirschfeldt and
               Ludovic Patey},
  title     = {Some results concerning the {SRT22} vs. {COH} problem},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {193--217},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-190251},
  doi       = {10.3233/COM-190251},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CholakDHP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CsimaDHM20,
  author    = {Barbara F. Csima and
               Michael Deveau and
               Matthew Harrison{-}Trainor and
               Mohammad Assem Mahmoud},
  title     = {Degrees of categoricity above limit ordinals},
  journal   = {Comput.},
  volume    = {9},
  number    = {2},
  pages     = {127--137},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-190254},
  doi       = {10.3233/COM-190254},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CsimaDHM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DavisHHPPY20,
  author    = {Caleb Davis and
               Denis R. Hirschfeldt and
               Jeffry L. Hirst and
               Jake Pardo and
               Arno Pauly and
               Keita Yokoyama},
  title     = {Combinatorial principles equivalent to weak induction},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {219--229},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180244},
  doi       = {10.3233/COM-180244},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/DavisHHPPY20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DzhafarovGHPP20,
  author    = {Damir D. Dzhafarov and
               Jun Le Goh and
               Denis R. Hirschfeldt and
               Ludovic Patey and
               Arno Pauly},
  title     = {Ramsey's theorem and products in the Weihrauch degrees},
  journal   = {Comput.},
  volume    = {9},
  number    = {2},
  pages     = {85--110},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180203},
  doi       = {10.3233/COM-180203},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/DzhafarovGHPP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FernauFHKMN20,
  author    = {Henning Fernau and
               Till Fluschnik and
               Danny Hermelin and
               Andreas Krebs and
               Hendrik Molter and
               Rolf Niedermeier},
  title     = {Diminishable parameterized problems and strict polynomial kernelization},
  journal   = {Comput.},
  volume    = {9},
  number    = {1},
  pages     = {1--24},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180220},
  doi       = {10.3233/COM-180220},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/FernauFHKMN20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Gerdes20,
  author    = {Peter Gerdes},
  title     = {An \emph{{\(\omega\)}}-REA set forming a minimal pair with 0{\textasciitilde}{\({'}\)}},
  journal   = {Comput.},
  volume    = {9},
  number    = {1},
  pages     = {37--50},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180191},
  doi       = {10.3233/COM-180191},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Gerdes20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Goh20,
  author    = {Jun Le Goh},
  title     = {Compositions of multivalued functions},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {231--247},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180235},
  doi       = {10.3233/COM-180235},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Goh20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Hertling20,
  author    = {Peter Hertling},
  title     = {Forests describing Wadge degrees and topological Weihrauch degrees
               of certain classes of functions and relations},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {249--307},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-190255},
  doi       = {10.3233/COM-190255},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Hertling20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Hirst20,
  author    = {Jeffry L. Hirst},
  title     = {Leaf management},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {309--314},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180243},
  doi       = {10.3233/COM-180243},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Hirst20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Johnston20,
  author    = {Reese Johnston},
  title     = {Cantor-Bendixson ranks of effectively closed sets in admissible recursion
               theory},
  journal   = {Comput.},
  volume    = {9},
  number    = {2},
  pages     = {111--125},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180187},
  doi       = {10.3233/COM-180187},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Johnston20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Milici20,
  author    = {Pietro Milici},
  title     = {A differential extension of Descartes' foundational approach: {A}
               new balance between symbolic and analog computation},
  journal   = {Comput.},
  volume    = {9},
  number    = {1},
  pages     = {51--83},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180208},
  doi       = {10.3233/COM-180208},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Milici20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Nemoto20,
  author    = {Takako Nemoto},
  title     = {A constructive proof of the dense existence of nowhere-differentiable
               functions in C[0, 1]},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {315--326},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-190247},
  doi       = {10.3233/COM-190247},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Nemoto20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Selivanov20,
  author    = {Victor L. Selivanov},
  title     = {Q-Wadge degrees as free structures},
  journal   = {Comput.},
  volume    = {9},
  number    = {3-4},
  pages     = {327--341},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-180241},
  doi       = {10.3233/COM-180241},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Selivanov20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Shafer20,
  author    = {Paul Shafer},
  title     = {The strength of compactness for countable complete linear orders},
  journal   = {Comput.},
  volume    = {9},
  number    = {1},
  pages     = {25--36},
  year      = {2020},
  url       = {https://doi.org/10.3233/COM-190262},
  doi       = {10.3233/COM-190262},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Shafer20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/AndrewsS19,
  author    = {Uri Andrews and
               Andrea Sorbi},
  title     = {Joins and meets in the structure of ceers},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {193--241},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180098},
  doi       = {10.3233/COM-180098},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/AndrewsS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/ArmstrongZ19,
  author    = {Mark Armstrong and
               Jeffery I. Zucker},
  title     = {Notions of semicomputability in topological algebras over the reals},
  journal   = {Comput.},
  volume    = {8},
  number    = {1},
  pages     = {1--26},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180087},
  doi       = {10.3233/COM-180087},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/ArmstrongZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/AstorH19,
  author    = {Eric P. Astor and
               Denis R. Hirschfeldt},
  title     = {Dense computability, upper cones, and minimal pairs},
  journal   = {Comput.},
  volume    = {8},
  number    = {2},
  pages     = {155--177},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180231},
  doi       = {10.3233/COM-180231},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/AstorH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BeckmannBFMT19,
  author    = {Arnold Beckmann and
               Sam Buss and
               Sy{-}David Friedman and
               Moritz M{\"{u}}ller and
               Neil Thapen},
  title     = {Feasible set functions have small circuits},
  journal   = {Comput.},
  volume    = {8},
  number    = {1},
  pages     = {67--98},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180096},
  doi       = {10.3233/COM-180096},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BeckmannBFMT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrattkaDKL19,
  author    = {Vasco Brattka and
               Rod Downey and
               Julia F. Knight and
               Steffen Lempp},
  title     = {Preface of the special issue for the Oberwolfach Workshop on Computability
               Theory 2018},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {191},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180103},
  doi       = {10.3233/COM-180103},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BrattkaDKL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/ChihD19,
  author    = {Ellen Chih and
               Rod Downey},
  title     = {Splitting theorems and low degrees},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {243--252},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180093},
  doi       = {10.3233/COM-180093},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/ChihD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CsimaDHJSW19,
  author    = {Barbara F. Csima and
               Damir D. Dzhafarov and
               Denis R. Hirschfeldt and
               Carl G. Jockusch Jr. and
               Reed Solomon and
               Linda Brown Westrick},
  title     = {The reverse mathematics of Hindman's Theorem for sums of exactly two
               elements},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {253--263},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180094},
  doi       = {10.3233/COM-180094},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CsimaDHJSW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FokinaRM19,
  author    = {Ekaterina B. Fokina and
               Dino Rossegger and
               Luca San Mauro},
  title     = {Measuring the complexity of reductions between equivalence relations},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {265--280},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180100},
  doi       = {10.3233/COM-180100},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/FokinaRM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GherardiMP19,
  author    = {Guido Gherardi and
               Alberto Marcone and
               Arno Pauly},
  title     = {Projection operators in the Weihrauch lattice},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {281--304},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180207},
  doi       = {10.3233/COM-180207},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/GherardiMP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GolovachJMPS19,
  author    = {Petr A. Golovach and
               Matthew Johnson and
               Barnaby Martin and
               Dani{\"{e}}l Paulusma and
               Anthony Stewart},
  title     = {Surjective H-colouring: New hardness results},
  journal   = {Comput.},
  volume    = {8},
  number    = {1},
  pages     = {27--42},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180084},
  doi       = {10.3233/COM-180084},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/computability/GolovachJMPS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GreenbergKT19,
  author    = {Noam Greenberg and
               Rutger Kuyper and
               Dan Turetsky},
  title     = {Cardinal invariants, non-lowness classes, and Weihrauch reducibility},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {305--346},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180219},
  doi       = {10.3233/COM-180219},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/GreenbergKT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Harrison-Trainor19,
  author    = {Matthew Harrison{-}Trainor},
  title     = {A first-order theory of Ulm type},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {347--358},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180099},
  doi       = {10.3233/COM-180099},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Harrison-Trainor19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Harrison-Trainor19a,
  author    = {Matthew Harrison{-}Trainor and
               Bakh Khoussainov and
               Daniel Turetsky},
  title     = {Effective aspects of algorithmically random structures},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {359--375},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180101},
  doi       = {10.3233/COM-180101},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Harrison-Trainor19a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Kohlenbach19,
  author    = {Ulrich Kohlenbach},
  title     = {On the reverse mathematics and Weihrauch complexity of moduli of regularity
               and uniqueness},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {377--387},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180097},
  doi       = {10.3233/COM-180097},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Kohlenbach19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Kristiansen19,
  author    = {Lars Kristiansen},
  title     = {On subrecursive representability of irrational numbers, part {II}},
  journal   = {Comput.},
  volume    = {8},
  number    = {1},
  pages     = {43--65},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-170081},
  doi       = {10.3233/COM-170081},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Kristiansen19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Longley19,
  author    = {John Longley},
  title     = {Bar recursion is not computable via iteration},
  journal   = {Comput.},
  volume    = {8},
  number    = {2},
  pages     = {119--153},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180200},
  doi       = {10.3233/COM-180200},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Longley19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/McNichollS19,
  author    = {Timothy H. McNicholl and
               Donald M. Stull},
  title     = {The isometry degree of a computable copy of {\(\mathscr{l}\)} p},
  journal   = {Comput.},
  volume    = {8},
  number    = {2},
  pages     = {179--189},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180214},
  doi       = {10.3233/COM-180214},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/McNichollS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Miller19,
  author    = {Russell Miller},
  title     = {Isomorphism and classification for countable structures},
  journal   = {Comput.},
  volume    = {8},
  number    = {2},
  pages     = {99--117},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180095},
  doi       = {10.3233/COM-180095},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Miller19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Ongay-ValverdeS19,
  author    = {Iv{\'{a}}n Ongay{-}Valverde and
               Noah David Schweber},
  title     = {Effective localization number: Building \emph{k}-surviving degrees},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {389--398},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180199},
  doi       = {10.3233/COM-180199},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Ongay-ValverdeS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Weihrauch19,
  author    = {Klaus Weihrauch},
  title     = {Computable planar curves intersect in a computable point},
  journal   = {Comput.},
  volume    = {8},
  number    = {3-4},
  pages     = {399--415},
  year      = {2019},
  url       = {https://doi.org/10.3233/COM-180102},
  doi       = {10.3233/COM-180102},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Weihrauch19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Ambos-Spies18,
  author    = {Klaus Ambos{-}Spies},
  title     = {Automorphism bases for the recursively enumerable degrees},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {237--258},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180088},
  doi       = {10.3233/COM-180088},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Ambos-Spies18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BackmanH18,
  author    = {Spencer Backman and
               Tony Huynh},
  title     = {Transfinite Ford-Fulkerson on a finite network},
  journal   = {Comput.},
  volume    = {7},
  number    = {4},
  pages     = {341--347},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180082},
  doi       = {10.3233/COM-180082},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BackmanH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BarmpaliasLL18,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye and
               Angsheng Li},
  title     = {Pointed computations and Martin-L{\"{o}}f randomness},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {171--177},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170076},
  doi       = {10.3233/COM-170076},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/computability/BarmpaliasLL18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CaludeD18,
  author    = {Cristian S. Calude and
               Monica Dumitrescu},
  title     = {A probabilistic anytime algorithm for the halting problem},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {259--271},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170073},
  doi       = {10.3233/COM-170073},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CaludeD18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CooperGHLM18,
  author    = {S. Barry Cooper and
               James Gay and
               Charles M. Harris and
               Kyung Il Lee and
               Anthony Morphett},
  title     = {Linearisations and the Ershov hierarchy},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {143--169},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170080},
  doi       = {10.3233/COM-170080},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CooperGHLM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DavidsonM18,
  author    = {Joe Davidson and
               Greg Michaelson},
  title     = {Expressiveness, meanings and machines},
  journal   = {Comput.},
  volume    = {7},
  number    = {4},
  pages     = {367--394},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180090},
  doi       = {10.3233/COM-180090},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/DavidsonM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/ElwesLLMNSSSBW18,
  author    = {Richard Elwes and
               Andy Lewis{-}Pye and
               Benedikt L{\"{o}}we and
               Dugald Macpherson and
               Dag Normann and
               Andrea Sorbi and
               Alexandra A. Soskova and
               Mariya Ivanova Soskova and
               Peter van Emde Boas and
               Stanley S. Wainer},
  title     = {S. Barry Cooper {(1943-2015)}},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {103--131},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180092},
  doi       = {10.3233/COM-180092},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/ElwesLLMNSSSBW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FranklinT18,
  author    = {Johanna N. Y. Franklin and
               Dan Turetsky},
  title     = {Lowness for isomorphism and degrees of genericity},
  journal   = {Comput.},
  volume    = {7},
  number    = {1},
  pages     = {1--6},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170078},
  doi       = {10.3233/COM-170078},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/FranklinT18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GanchevS18,
  author    = {Hristo Aleksndrov Ganchev and
               Mariya Ivanova Soskova},
  title     = {The jump hierarchy in the enumeration degrees},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {179--188},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170072},
  doi       = {10.3233/COM-170072},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/GanchevS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HiraharaK18,
  author    = {Shuichi Hirahara and
               Akitoshi Kawamura},
  title     = {On characterizations of randomized computation using plain Kolmogorov
               complexity},
  journal   = {Comput.},
  volume    = {7},
  number    = {1},
  pages     = {45--56},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170075},
  doi       = {10.3233/COM-170075},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/HiraharaK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/IljazovicP18,
  author    = {Zvonko Iljazovic and
               Bojan Pazek},
  title     = {Computable intersection points},
  journal   = {Comput.},
  volume    = {7},
  number    = {1},
  pages     = {57--99},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170079},
  doi       = {10.3233/COM-170079},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/IljazovicP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/JainKS18,
  author    = {Sanjay Jain and
               Bakhadyr Khoussainov and
               Frank Stephan},
  title     = {Finitely generated semiautomatic groups},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {273--287},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180089},
  doi       = {10.3233/COM-180089},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/JainKS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Lewis-Pye18,
  author    = {Andrew E. M. Lewis{-}Pye},
  title     = {The search for natural definability in the Turing degrees},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {189--235},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170068},
  doi       = {10.3233/COM-170068},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Lewis-Pye18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/LiX18,
  author    = {Angsheng Li and
               Mingji Xia},
  title     = {Splitting and jump inversion in the Turing degrees},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {133--142},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180083},
  doi       = {10.3233/COM-180083},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/LiX18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Lowe18,
  author    = {Benedikt L{\"{o}}we},
  title     = {Preface to the special issue in memory of S. Barry Cooper {(1943-2015)}},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {101},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180091},
  doi       = {10.3233/COM-180091},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Lowe18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Patey18,
  author    = {Ludovic Patey},
  title     = {Partial orders and immunity in reverse mathematics},
  journal   = {Comput.},
  volume    = {7},
  number    = {4},
  pages     = {323--339},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170071},
  doi       = {10.3233/COM-170071},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Patey18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/PocasZ18,
  author    = {Diogo Po{\c{c}}as and
               Jeffery I. Zucker},
  title     = {Analog networks on function data streams},
  journal   = {Comput.},
  volume    = {7},
  number    = {4},
  pages     = {301--322},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170077},
  doi       = {10.3233/COM-170077},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/PocasZ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Sanders18,
  author    = {Sam Sanders},
  title     = {The Gandy-Hyland functional and a computational aspect of Nonstandard
               Analysis},
  journal   = {Comput.},
  volume    = {7},
  number    = {1},
  pages     = {7--43},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-170074},
  doi       = {10.3233/COM-170074},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Sanders18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/SelivanovY18,
  author    = {Victor L. Selivanov and
               Mars M. Yamaleev},
  title     = {Extending Cooper's theorem to {\(\Delta\)} 3 0 Turing degrees},
  journal   = {Comput.},
  volume    = {7},
  number    = {2-3},
  pages     = {289--300},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180085},
  doi       = {10.3233/COM-180085},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/SelivanovY18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Wright18,
  author    = {Matthew Wright},
  title     = {Degrees of relations on ordinals},
  journal   = {Comput.},
  volume    = {7},
  number    = {4},
  pages     = {349--365},
  year      = {2018},
  url       = {https://doi.org/10.3233/COM-180086},
  doi       = {10.3233/COM-180086},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Wright18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/AdamsC17,
  author    = {Francis Adams and
               Douglas Cenzer},
  title     = {Computability and categoricity of weakly ultrahomogeneous structures},
  journal   = {Comput.},
  volume    = {6},
  number    = {4},
  pages     = {365--389},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-170070},
  doi       = {10.3233/COM-170070},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/AdamsC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/AgrawalCDN17,
  author    = {Manindra Agrawal and
               Diptarka Chakraborty and
               Debarati Das and
               Satyadev Nandakumar},
  title     = {Dimension, pseudorandomness and extraction of pseudorandomness},
  journal   = {Comput.},
  volume    = {6},
  number    = {3},
  pages     = {277--305},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160066},
  doi       = {10.3233/COM-160066},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/computability/AgrawalCDN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Carl17,
  author    = {Merlin Carl},
  title     = {Infinite time recognizability from generic oracles and the recognizable
               jump operator},
  journal   = {Comput.},
  volume    = {6},
  number    = {3},
  pages     = {223--247},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160061},
  doi       = {10.3233/COM-160061},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Carl17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CholakE17,
  author    = {Peter Cholak and
               Rachel Epstein},
  title     = {Computably enumerable sets that are automorphic to low sets},
  journal   = {Comput.},
  volume    = {6},
  number    = {1},
  pages     = {23--45},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160053},
  doi       = {10.3233/COM-160053},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CholakE17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DzhafarovI17,
  author    = {Damir D. Dzhafarov and
               Gregory Igusa},
  title     = {Notions of robust information coding},
  journal   = {Comput.},
  volume    = {6},
  number    = {2},
  pages     = {105--124},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160059},
  doi       = {10.3233/COM-160059},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/DzhafarovI17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FrittaionP17,
  author    = {Emanuele Frittaion and
               Ludovic Patey},
  title     = {Coloring the rationals in reverse mathematics},
  journal   = {Comput.},
  volume    = {6},
  number    = {4},
  pages     = {319--331},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160067},
  doi       = {10.3233/COM-160067},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/FrittaionP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GonenL17,
  author    = {Rica Gonen and
               Anat Lerner},
  title     = {Characterizing incentive compatible, Pareto optimal and sufficiently
               anonymous constrained combinatorial mechanisms - Two players case},
  journal   = {Comput.},
  volume    = {6},
  number    = {2},
  pages     = {183--208},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160064},
  doi       = {10.3233/COM-160064},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/GonenL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HuschenbettKS17,
  author    = {Martin Huschenbett and
               Alexander Kartzow and
               Philipp Schlicht},
  title     = {Pumping for ordinal-automatic structures},
  journal   = {Comput.},
  volume    = {6},
  number    = {2},
  pages     = {125--164},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160057},
  doi       = {10.3233/COM-160057},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/HuschenbettKS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/IbarraCDF17,
  author    = {Oscar H. Ibarra and
               Cewei Cui and
               Zhe Dang and
               Thomas R. Fischer},
  title     = {Lossiness of communication channels modeled by transducers},
  journal   = {Comput.},
  volume    = {6},
  number    = {2},
  pages     = {165--181},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-150050},
  doi       = {10.3233/COM-150050},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/IbarraCDF17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/JainST17,
  author    = {Sanjay Jain and
               Frank Stephan and
               Jason Teutsch},
  title     = {Closed left-r.e. sets},
  journal   = {Comput.},
  volume    = {6},
  number    = {1},
  pages     = {1--21},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160054},
  doi       = {10.3233/COM-160054},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/JainST17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Kristiansen17,
  author    = {Lars Kristiansen},
  title     = {On subrecursive representability of irrational numbers},
  journal   = {Comput.},
  volume    = {6},
  number    = {3},
  pages     = {249--276},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160063},
  doi       = {10.3233/COM-160063},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Kristiansen17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/McNicholl17,
  author    = {Timothy H. McNicholl},
  title     = {Computable copies of {\(\mathscr{l}\)}p},
  journal   = {Comput.},
  volume    = {6},
  number    = {4},
  pages     = {391--408},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160065},
  doi       = {10.3233/COM-160065},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/McNicholl17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/MiasnikovS17,
  author    = {Alexei Miasnikov and
               Paul E. Schupp},
  title     = {Computational complexity and the conjugacy problem},
  journal   = {Comput.},
  volume    = {6},
  number    = {4},
  pages     = {307--318},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160060},
  doi       = {10.3233/COM-160060},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/MiasnikovS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Milchior17,
  author    = {Arthur Milchior},
  title     = {Undecidability of satisfiability of expansions of FO[{\textless}]
               over words with a FO[+]-definable set},
  journal   = {Comput.},
  volume    = {6},
  number    = {4},
  pages     = {333--363},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-170069},
  doi       = {10.3233/COM-170069},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Milchior17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Patey17,
  author    = {Ludovic Patey},
  title     = {Controlling iterated jumps of solutions to combinatorial problems},
  journal   = {Comput.},
  volume    = {6},
  number    = {1},
  pages     = {47--78},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160056},
  doi       = {10.3233/COM-160056},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Patey17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Patey17a,
  author    = {Ludovic Patey},
  title     = {Iterative forcing and hyperimmunity in reverse mathematics},
  journal   = {Comput.},
  volume    = {6},
  number    = {3},
  pages     = {209--221},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160062},
  doi       = {10.3233/COM-160062},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Patey17a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Weihrauch17,
  author    = {Klaus Weihrauch},
  title     = {Computability on measurable functions},
  journal   = {Comput.},
  volume    = {6},
  number    = {1},
  pages     = {79--104},
  year      = {2017},
  url       = {https://doi.org/10.3233/COM-160058},
  doi       = {10.3233/COM-160058},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Weihrauch17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BasuS16,
  author    = {Sankha S. Basu and
               Stephen G. Simpson},
  title     = {Mass problems and intuitionistic higher-order logic},
  journal   = {Comput.},
  volume    = {5},
  number    = {1},
  pages     = {29--47},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-150041},
  doi       = {10.3233/COM-150041},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BasuS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrattkaBBM16,
  author    = {Vasco Brattka and
               Paola Bonizzoni and
               Olivier Bournez and
               Elvira Mayordomo},
  title     = {Editorial},
  journal   = {Comput.},
  volume    = {5},
  number    = {1},
  pages     = {1},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-160051},
  doi       = {10.3233/COM-160051},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BrattkaBBM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CaiLMS15,
  author    = {Mingzhong Cai and
               Steffen Lempp and
               Joseph S. Miller and
               Mariya Ivanova Soskova},
  title     = {On Kalimullin pairs},
  journal   = {Comput.},
  volume    = {5},
  number    = {2},
  pages     = {111--126},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-150046},
  doi       = {10.3233/COM-150046},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CaiLMS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Carl15,
  author    = {Merlin Carl},
  title     = {Randomness and degree theory for infinite time register machines},
  journal   = {Comput.},
  volume    = {5},
  number    = {2},
  pages     = {181--196},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-160055},
  doi       = {10.3233/COM-160055},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Carl15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FaberO15,
  author    = {Eric Faber and
               Jaap van Oosten},
  title     = {Effective operations of type 2 in PCAs},
  journal   = {Comput.},
  volume    = {5},
  number    = {2},
  pages     = {127--146},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-150048},
  doi       = {10.3233/COM-150048},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/FaberO15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Herbert15,
  author    = {Ian Herbert},
  title     = {Lowness for integer-valued randomness},
  journal   = {Comput.},
  volume    = {5},
  number    = {2},
  pages     = {103--109},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-150045},
  doi       = {10.3233/COM-150045},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Herbert15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HirschfeldtJMS16,
  author    = {Denis R. Hirschfeldt and
               Carl G. Jockusch Jr. and
               Timothy H. McNicholl and
               Paul E. Schupp},
  title     = {Asymptotic density and the coarse computability bound},
  journal   = {Comput.},
  volume    = {5},
  number    = {1},
  pages     = {13--27},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-150035},
  doi       = {10.3233/COM-150035},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/HirschfeldtJMS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HolzlSY15,
  author    = {Rupert H{\"{o}}lzl and
               Frank Stephan and
               Liang Yu},
  title     = {On Martin's pointed tree theorem},
  journal   = {Comput.},
  volume    = {5},
  number    = {2},
  pages     = {147--157},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-150047},
  doi       = {10.3233/COM-150047},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/HolzlSY15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Lowe16,
  author    = {Benedikt L{\"{o}}we},
  title     = {Barry Cooper {(1943-2015):} The engine of Computability in Europe},
  journal   = {Comput.},
  volume    = {5},
  number    = {1},
  pages     = {3--11},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-160052},
  doi       = {10.3233/COM-160052},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Lowe16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Muchnik16,
  author    = {Albert A. Muchnik},
  title     = {Strong and weak reducibility of algorithmic problems},
  journal   = {Comput.},
  volume    = {5},
  number    = {1},
  pages     = {49--59},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-150042},
  doi       = {10.3233/COM-150042},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Muchnik16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Pauly15,
  author    = {Arno Pauly},
  title     = {On the topological aspects of the theory of represented spaces},
  journal   = {Comput.},
  volume    = {5},
  number    = {2},
  pages     = {159--180},
  year      = {2016},
  url       = {https://doi.org/10.3233/COM-150049},
  doi       = {10.3233/COM-150049},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Pauly15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Astor15,
  author    = {Eric P. Astor},
  title     = {Asymptotic density, immunity and randomness},
  journal   = {Comput.},
  volume    = {4},
  number    = {2},
  pages     = {141--158},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150040},
  doi       = {10.3233/COM-150040},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Astor15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Ben-Amram15,
  author    = {Amir M. Ben{-}Amram},
  title     = {Mortality of iterated piecewise affine functions over the integers:
               Decidability and complexity},
  journal   = {Comput.},
  volume    = {4},
  number    = {1},
  pages     = {19--56},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150032},
  doi       = {10.3233/COM-150032},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Ben-Amram15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GuraHM15,
  author    = {Kirill Gura and
               Jeffry L. Hirst and
               Carl Mummert},
  title     = {On the existence of a connected component of a graph},
  journal   = {Comput.},
  volume    = {4},
  number    = {2},
  pages     = {103--117},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150039},
  doi       = {10.3233/COM-150039},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/GuraHM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Harris15,
  author    = {Charles M. Harris},
  title     = {On limitwise monotonicity and maximal block functions},
  journal   = {Comput.},
  volume    = {4},
  number    = {2},
  pages     = {119--139},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150037},
  doi       = {10.3233/COM-150037},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Harris15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/LutzL15,
  author    = {Jack H. Lutz and
               Neil Lutz},
  title     = {Lines missing every random point},
  journal   = {Comput.},
  volume    = {4},
  number    = {2},
  pages     = {85--102},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150038},
  doi       = {10.3233/COM-150038},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/LutzL15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Patey15,
  author    = {Ludovic Patey},
  title     = {The complexity of satisfaction problems in reverse mathematics},
  journal   = {Comput.},
  volume    = {4},
  number    = {1},
  pages     = {69--84},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150034},
  doi       = {10.3233/COM-150034},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Patey15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/SchroderS15,
  author    = {Matthias Schr{\"{o}}der and
               Victor L. Selivanov},
  title     = {Hyperprojective hierarchy of qcb\({}_{\mbox{0}}\)-spaces},
  journal   = {Comput.},
  volume    = {4},
  number    = {1},
  pages     = {1--17},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150031},
  doi       = {10.3233/COM-150031},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/SchroderS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Speranski15,
  author    = {Stanislav O. Speranski},
  title     = {Some new results in monadic second-order arithmetic},
  journal   = {Comput.},
  volume    = {4},
  number    = {2},
  pages     = {159--174},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150036},
  doi       = {10.3233/COM-150036},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Speranski15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Towsner15,
  author    = {Henry Towsner},
  title     = {On maximum conservative extensions},
  journal   = {Comput.},
  volume    = {4},
  number    = {1},
  pages     = {57--68},
  year      = {2015},
  url       = {https://doi.org/10.3233/COM-150033},
  doi       = {10.3233/COM-150033},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Towsner15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BazganCNS14,
  author    = {Cristina Bazgan and
               Morgan Chopin and
               Andr{\'{e}} Nichterlein and
               Florian Sikora},
  title     = {Parameterized Inapproximability of Target Set Selection and Generalizations},
  journal   = {Comput.},
  volume    = {3},
  number    = {2},
  pages     = {135--145},
  year      = {2014},
  url       = {https://doi.org/10.3233/COM-140030},
  doi       = {10.3233/COM-140030},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BazganCNS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CalvertHS14,
  author    = {Wesley Calvert and
               Valentina S. Harizanov and
               Alexandra Shlapentokh},
  title     = {Turing Degrees of Isomorphism Types of Geometric Objects},
  journal   = {Comput.},
  volume    = {3},
  number    = {2},
  pages     = {105--134},
  year      = {2014},
  url       = {https://doi.org/10.3233/COM-140029},
  doi       = {10.3233/COM-140029},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CalvertHS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FranklinS14,
  author    = {Johanna N. Y. Franklin and
               Reed Solomon},
  title     = {Degrees that Are Low for Isomorphism},
  journal   = {Comput.},
  volume    = {3},
  number    = {2},
  pages     = {73--89},
  year      = {2014},
  url       = {https://doi.org/10.3233/COM-140027},
  doi       = {10.3233/COM-140027},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/FranklinS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FreerKNS14,
  author    = {Cameron E. Freer and
               Bj{\o}rn Kjos{-}Hanssen and
               Andr{\'{e}} Nies and
               Frank Stephan},
  title     = {Algorithmic Aspects of Lipschitz Functions},
  journal   = {Comput.},
  volume    = {3},
  number    = {1},
  pages     = {45--61},
  year      = {2014},
  url       = {https://doi.org/10.3233/COM-14025},
  doi       = {10.3233/COM-14025},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/FreerKNS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HarkinsHP14,
  author    = {Ryan C. Harkins and
               John M. Hitchcock and
               Aduri Pavan},
  title     = {Strong Reductions and Isomorphism of Complete Sets},
  journal   = {Comput.},
  volume    = {3},
  number    = {2},
  pages     = {91--104},
  year      = {2014},
  url       = {https://doi.org/10.3233/COM-140028},
  doi       = {10.3233/COM-140028},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/HarkinsHP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/NgNS14,
  author    = {Keng Meng Ng and
               Andr{\'{e}} Nies and
               Frank Stephan},
  title     = {The Complexity of Recursive Splittings of Random Sets},
  journal   = {Comput.},
  volume    = {3},
  number    = {1},
  pages     = {1--8},
  year      = {2014},
  url       = {https://doi.org/10.3233/COM-14023},
  doi       = {10.3233/COM-14023},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/computability/NgNS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Nikolova14,
  author    = {Stela Nikolova},
  title     = {Shared thoughts on Ivan Soskov {(1954-2013)}},
  journal   = {Comput.},
  volume    = {3},
  number    = {1},
  pages     = {63--72},
  year      = {2014},
  url       = {https://doi.org/10.3233/COM-14026},
  doi       = {10.3233/COM-14026},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Nikolova14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/TuckerZ14,
  author    = {John V. Tucker and
               Jeffery I. Zucker},
  title     = {Computability of Operators on Continuous and Discrete Time Streams},
  journal   = {Comput.},
  volume    = {3},
  number    = {1},
  pages     = {9--44},
  year      = {2014},
  url       = {https://doi.org/10.3233/COM-14024},
  doi       = {10.3233/COM-14024},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/TuckerZ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CarsonJKLMW13,
  author    = {Jacob Carson and
               Jesse Johnson and
               Julia F. Knight and
               Karen Lange and
               Charles F. D. McCoy and
               John Wallbaum},
  title     = {The Arithmetical Hierarchy in the Setting of {\(\omega\)}\({}_{\mbox{1}}\)},
  journal   = {Comput.},
  volume    = {2},
  number    = {2},
  pages     = {93--105},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13022},
  doi       = {10.3233/COM-13022},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CarsonJKLMW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DiamondstoneGT13,
  author    = {David Diamondstone and
               Noam Greenberg and
               Daniel Turetsky},
  title     = {Natural Large Degree Spectra},
  journal   = {Comput.},
  volume    = {2},
  number    = {1},
  pages     = {1--8},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13008},
  doi       = {10.3233/COM-13008},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/DiamondstoneGT13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Diener13,
  author    = {Hannes Diener},
  title     = {Weak K{\"{o}}nig's Lemma Implies the Uniform Continuity Theorem},
  journal   = {Comput.},
  volume    = {2},
  number    = {1},
  pages     = {9--13},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13009},
  doi       = {10.3233/COM-13009},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Diener13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DoraisHS13,
  author    = {Fran{\c{c}}ois G. Dorais and
               Jeffry L. Hirst and
               Paul Shafer},
  title     = {Reverse Mathematics and Algebraic Field Extensions},
  journal   = {Comput.},
  volume    = {2},
  number    = {2},
  pages     = {75--92},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13021},
  doi       = {10.3233/COM-13021},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/DoraisHS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/EhrigEHNR13,
  author    = {Hartmut Ehrig and
               Claudia Ermel and
               Falk H{\"{u}}ffner and
               Rolf Niedermeier and
               Olga Runge},
  title     = {Confluence in Data Reduction: Bridging Graph Transformation and Kernelization},
  journal   = {Comput.},
  volume    = {2},
  number    = {1},
  pages     = {31--49},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13016},
  doi       = {10.3233/COM-13016},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/computability/EhrigEHNR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/MillerS13,
  author    = {Russell G. Miller and
               Hans Schoutens},
  title     = {Computably Categorical Fields via Fermat's Last Theorem},
  journal   = {Comput.},
  volume    = {2},
  number    = {1},
  pages     = {51--65},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13017},
  doi       = {10.3233/COM-13017},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/MillerS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Miyabe13,
  author    = {Kenshi Miyabe},
  title     = {L\({}^{\mbox{1}}\)-Computability, Layerwise Computability and Solovay
               Reducibility},
  journal   = {Comput.},
  volume    = {2},
  number    = {1},
  pages     = {15--29},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13015},
  doi       = {10.3233/COM-13015},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Miyabe13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/SekiO13,
  author    = {Shinnosuke Seki and
               Yasushi Okuno},
  title     = {On the Behavior of Tile Assembly System at High Temperatures},
  journal   = {Comput.},
  volume    = {2},
  number    = {2},
  pages     = {107--124},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13020},
  doi       = {10.3233/COM-13020},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/SekiO13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Skordev13,
  author    = {Dimiter Skordev},
  title     = {On Some Computability Notions for Real Functions},
  journal   = {Comput.},
  volume    = {2},
  number    = {1},
  pages     = {67--73},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13018},
  doi       = {10.3233/COM-13018},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Skordev13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Soler-ToscanoZDG13,
  author    = {Fernando Soler{-}Toscano and
               Hector Zenil and
               Jean{-}Paul Delahaye and
               Nicolas Gauvrit},
  title     = {Correspondence and Independence of Numerical Evaluations of Algorithmic
               Information Measures},
  journal   = {Comput.},
  volume    = {2},
  number    = {2},
  pages     = {125--140},
  year      = {2013},
  url       = {https://doi.org/10.3233/COM-13019},
  doi       = {10.3233/COM-13019},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/computability/Soler-ToscanoZDG13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/AbbottC12,
  author    = {Alastair A. Abbott and
               Cristian S. Calude},
  title     = {Von Neumann Normalisation of a Quantum Random Number Generator},
  journal   = {Comput.},
  volume    = {1},
  number    = {1},
  pages     = {59--83},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-2012-001},
  doi       = {10.3233/COM-2012-001},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/AbbottC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrattkaBCLM12,
  author    = {Vasco Brattka and
               Paola Bonizzoni and
               S. Barry Cooper and
               Benedikt L{\"{o}}we and
               Elvira Mayordomo},
  title     = {Editorial},
  journal   = {Comput.},
  volume    = {1},
  number    = {1},
  pages     = {1--2},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-2012-007},
  doi       = {10.3233/COM-2012-007},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/BrattkaBCLM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CholakDSS12,
  author    = {Peter Cholak and
               Damir D. Dzhafarov and
               Noah David Schweber and
               Richard A. Shore},
  title     = {Computably Enumerable Partial Orders},
  journal   = {Comput.},
  volume    = {1},
  number    = {2},
  pages     = {99--107},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-12013},
  doi       = {10.3233/COM-12013},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CholakDSS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CoskeyHM12,
  author    = {Samuel Coskey and
               Joel David Hamkins and
               Russell G. Miller},
  title     = {The Hierarchy of Equivalence Relations on the Natural Numbers Under
               Computable Reducibility},
  journal   = {Comput.},
  volume    = {1},
  number    = {1},
  pages     = {15--38},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-2012-004},
  doi       = {10.3233/COM-2012-004},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/CoskeyHM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HirschfeldtW12,
  author    = {Denis R. Hirschfeldt and
               Rebecca Weber},
  title     = {Finite Self-Information},
  journal   = {Comput.},
  volume    = {1},
  number    = {1},
  pages     = {85--98},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-2012-003},
  doi       = {10.3233/COM-2012-003},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/HirschfeldtW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Hitchcock12,
  author    = {John M. Hitchcock},
  title     = {Limitations of Efficient Reducibility to the Kolmogorov Random Strings},
  journal   = {Comput.},
  volume    = {1},
  number    = {1},
  pages     = {39--43},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-2012-006},
  doi       = {10.3233/COM-2012-006},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Hitchcock12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HoyrupRW12,
  author    = {Mathieu Hoyrup and
               Cristobal Rojas and
               Klaus Weihrauch},
  title     = {Computability of the Radon-Nikodym Derivative},
  journal   = {Comput.},
  volume    = {1},
  number    = {1},
  pages     = {3--13},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-2012-005},
  doi       = {10.3233/COM-2012-005},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/HoyrupRW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Kihara12,
  author    = {Takayuki Kihara},
  title     = {Incomputability of Simply Connected Planar Continua},
  journal   = {Comput.},
  volume    = {1},
  number    = {2},
  pages     = {131--152},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-12012},
  doi       = {10.3233/COM-12012},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Kihara12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Kreuzer12,
  author    = {Alexander P. Kreuzer},
  title     = {On the Strength of Weak Compactness},
  journal   = {Comput.},
  volume    = {1},
  number    = {2},
  pages     = {171--179},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-12010},
  doi       = {10.3233/COM-12010},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Kreuzer12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/MerkleT12,
  author    = {Wolfgang Merkle and
               Jason Teutsch},
  title     = {Constant Compression and Random Weights},
  journal   = {Comput.},
  volume    = {1},
  number    = {2},
  pages     = {153--169},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-12011},
  doi       = {10.3233/COM-12011},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/MerkleT12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Morphett12,
  author    = {Anthony Morphett},
  title     = {Incompleteness, Approximation and Relative Randomness},
  journal   = {Comput.},
  volume    = {1},
  number    = {2},
  pages     = {109--130},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-12014},
  doi       = {10.3233/COM-12014},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/Morphett12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/SchlichtS12,
  author    = {Philipp Schlicht and
               Benjamin Seyfferth},
  title     = {Tree Representations via Ordinal Machines},
  journal   = {Comput.},
  volume    = {1},
  number    = {1},
  pages     = {45--57},
  year      = {2012},
  url       = {https://doi.org/10.3233/COM-2012-002},
  doi       = {10.3233/COM-2012-002},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computability/SchlichtS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics