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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.