Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/computability:"
download as .bib file
@article{DBLP:journals/computability/AmbosSpiesDM24,
author = {Klaus Ambos{-}Spies and
Rod Downey and
Martin Monath},
title = {Lowness properties for strong reducibilities and the computational
power of maximal sets},
journal = {Comput.},
volume = {13},
number = {1},
pages = {1--56},
year = {2024},
url = {https://doi.org/10.3233/COM-220432},
doi = {10.3233/COM-220432},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/AmbosSpiesDM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GreenbergHMT24,
author = {Noam Greenberg and
Matthew Harrison{-}Trainor and
Joseph S. Miller and
Dan Turetsky},
title = {Enumerations of families closed under finite differences},
journal = {Comput.},
volume = {13},
number = {1},
pages = {89--104},
year = {2024},
url = {https://doi.org/10.3233/COM-210349},
doi = {10.3233/COM-210349},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/GreenbergHMT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HertlingJ24,
author = {Peter Hertling and
Philip Janicki},
title = {Nearly computable real numbers},
journal = {Comput.},
volume = {13},
number = {1},
pages = {57--88},
year = {2024},
url = {https://doi.org/10.3233/COM-230445},
doi = {10.3233/COM-230445},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/HertlingJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Alaev23,
author = {Pavel Alaev},
title = {Inversion operations in algebraic structures},
journal = {Comput.},
volume = {12},
number = {4},
pages = {315--322},
year = {2023},
url = {https://doi.org/10.3233/COM-230459},
doi = {10.3233/COM-230459},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Alaev23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/AllenderBDP23,
author = {Eric Allender and
Nikhil Balaji and
Samir Datta and
Rameshwar Pratap},
title = {On the complexity of algebraic numbers, and the bit-complexity of
straight-line programs},
journal = {Comput.},
volume = {12},
number = {2},
pages = {145--173},
year = {2023},
url = {https://doi.org/10.3233/COM-220407},
doi = {10.3233/COM-220407},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/AllenderBDP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/AmirH23,
author = {Djamel Eddine Amir and
Mathieu Hoyrup},
title = {Strong computable type},
journal = {Comput.},
volume = {12},
number = {3},
pages = {227--269},
year = {2023},
url = {https://doi.org/10.3233/COM-220430},
doi = {10.3233/COM-220430},
timestamp = {Sun, 26 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/AmirH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/AndrewsCDS23,
author = {Uri Andrews and
Mingzhong Cai and
David Diamondstone and
Noah Schweber},
title = {Limit computability and ultrafilters},
journal = {Comput.},
volume = {12},
number = {2},
pages = {101--115},
year = {2023},
url = {https://doi.org/10.3233/COM-170176},
doi = {10.3233/COM-170176},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/AndrewsCDS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BazhenovKS23,
author = {Nikolay Bazhenov and
Takayuki Kihara and
Svetlana Selivanova},
title = {Preface},
journal = {Comput.},
volume = {12},
number = {4},
pages = {299},
year = {2023},
url = {https://doi.org/10.3233/COM-230952},
doi = {10.3233/COM-230952},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/BazhenovKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BazhenovKSS23,
author = {Nikolay Bazhenov and
Takayuki Kihara and
Svetlana Selivanova and
Dieter Spreen},
title = {On the main scientific achievements of Victor Selivanov},
journal = {Comput.},
volume = {12},
number = {4},
pages = {301--314},
year = {2023},
url = {https://doi.org/10.3233/COM-230951},
doi = {10.3233/COM-230951},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/BazhenovKSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CenzerP23,
author = {Douglas Cenzer and
Christopher P. Porter},
title = {Randomness extraction in computability theory},
journal = {Comput.},
volume = {12},
number = {1},
pages = {1--21},
year = {2023},
url = {https://doi.org/10.3233/COM-210343},
doi = {10.3233/COM-210343},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/CenzerP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DorzhievaM23,
author = {Marina Dorzhieva and
Alexander G. Melnikov},
title = {Punctually presented structures {I:} Closure theorems},
journal = {Comput.},
volume = {12},
number = {4},
pages = {323--337},
year = {2023},
url = {https://doi.org/10.3233/COM-230448},
doi = {10.3233/COM-230448},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/DorzhievaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Faizrahmanov23,
author = {Marat Kh. Faizrahmanov},
title = {Numberings, c.e. oracles, and fixed points},
journal = {Comput.},
volume = {12},
number = {3},
pages = {271--282},
year = {2023},
url = {https://doi.org/10.3233/COM-210387},
doi = {10.3233/COM-210387},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Faizrahmanov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FaizrahmanovS23,
author = {Marat Kh. Faizrahmanov and
Zlata Shchedrikova},
title = {Effectively infinite classes of numberings and computable families
of reals},
journal = {Comput.},
volume = {12},
number = {4},
pages = {339--350},
year = {2023},
url = {https://doi.org/10.3233/COM-230461},
doi = {10.3233/COM-230461},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/FaizrahmanovS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GozziG23,
author = {Riccardo Gozzi and
Daniel Gra{\c{c}}a},
title = {Characterizing time computational complexity classes with polynomial
differential equations},
journal = {Comput.},
volume = {12},
number = {1},
pages = {23--57},
year = {2023},
url = {https://doi.org/10.3233/COM-210384},
doi = {10.3233/COM-210384},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/GozziG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GracaZ23,
author = {Daniel Silva Gra{\c{c}}a and
Ning Zhong},
title = {Analytic one-dimensional maps and two-dimensional ordinary differential
equations can robustly simulate Turing machines},
journal = {Comput.},
volume = {12},
number = {2},
pages = {117--144},
year = {2023},
url = {https://doi.org/10.3233/COM-210381},
doi = {10.3233/COM-210381},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/GracaZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HirstM23,
author = {Jeffry L. Hirst and
Carl Mummert},
title = {Banach's theorem in higher-order reverse mathematics},
journal = {Comput.},
volume = {12},
number = {3},
pages = {203--225},
year = {2023},
url = {https://doi.org/10.3233/COM-230453},
doi = {10.3233/COM-230453},
timestamp = {Sun, 26 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/HirstM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Hoyrup23,
author = {Mathieu Hoyrup},
title = {Notes on overt choice},
journal = {Comput.},
volume = {12},
number = {4},
pages = {351--369},
year = {2023},
url = {https://doi.org/10.3233/COM-230458},
doi = {10.3233/COM-230458},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Hoyrup23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/IshkuvatovMS23,
author = {Ruslan Ishkuvatov and
Daniil Musatov and
Alexander Shen},
title = {Approximating Kolmogorov complexity},
journal = {Comput.},
volume = {12},
number = {3},
pages = {283--297},
year = {2023},
url = {https://doi.org/10.3233/COM-200302},
doi = {10.3233/COM-200302},
timestamp = {Sun, 26 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/IshkuvatovMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/LohU23,
author = {Clara L{\"{o}}h and
Matthias Uschold},
title = {L2-Betti numbers and computability of reals},
journal = {Comput.},
volume = {12},
number = {2},
pages = {175--201},
year = {2023},
url = {https://doi.org/10.3233/COM-220416},
doi = {10.3233/COM-220416},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/LohU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/SelivanovS23,
author = {Victor L. Selivanov and
Svetlana Selivanova},
title = {Primitive recursive ordered fields and some applications},
journal = {Comput.},
volume = {12},
number = {1},
pages = {71--99},
year = {2023},
url = {https://doi.org/10.3233/COM-210386},
doi = {10.3233/COM-210386},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/SelivanovS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Spreen23,
author = {Dieter Spreen},
title = {How much partiality is needed for a theory of computability?},
journal = {Comput.},
volume = {12},
number = {4},
pages = {371--426},
year = {2023},
url = {https://doi.org/10.3233/COM-230463},
doi = {10.3233/COM-230463},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Spreen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Walsh23,
author = {James Walsh},
title = {Evitable iterates of the consistency operator},
journal = {Comput.},
volume = {12},
number = {1},
pages = {59--69},
year = {2023},
url = {https://doi.org/10.3233/COM-220400},
doi = {10.3233/COM-220400},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Walsh23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BauwensGRS22,
author = {Bruno Bauwens and
P{\'{e}}ter G{\'{a}}cs and
Andrei E. Romashchenko and
Alexander Shen},
title = {Inequalities for space-bounded Kolmogorov complexity},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {165--185},
year = {2022},
url = {https://doi.org/10.3233/COM-210374},
doi = {10.3233/COM-210374},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/BauwensGRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BazhenovNMS22,
author = {Nikolay Bazhenov and
Keng Meng Ng and
Luca San Mauro and
Andrea Sorbi},
title = {Primitive recursive equivalence relations and their primitive recursive
complexity},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {187--221},
year = {2022},
url = {https://doi.org/10.3233/COM-210375},
doi = {10.3233/COM-210375},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/BazhenovNMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrattkaGKS22,
author = {Vasco Brattka and
Noam Greenberg and
Iskander Sh. Kalimullin and
Mariya Ivanova Soskova},
title = {Preface of the Special Issue for the Oberwolfach Workshop on Computability
Theory 2021},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {163},
year = {2022},
url = {https://doi.org/10.3233/COM-220950},
doi = {10.3233/COM-220950},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/BrattkaGKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CalvertCH22,
author = {Wesley Calvert and
Douglas Cenzer and
Valentina S. Harizanov},
title = {Generically and coarsely computable isomorphisms},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {223--239},
year = {2022},
url = {https://doi.org/10.3233/COM-210382},
doi = {10.3233/COM-210382},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/CalvertCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Carl22,
author = {Merlin Carl},
title = {Space-bounded OTMs and REG{\(\infty\)}},
journal = {Comput.},
volume = {11},
number = {1},
pages = {41--56},
year = {2022},
url = {https://doi.org/10.3233/COM-200327},
doi = {10.3233/COM-200327},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Carl22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CholakG22,
author = {Peter Cholak and
Peter M. Gerdes},
title = {Extending properly n-REA sets},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {241--267},
year = {2022},
url = {https://doi.org/10.3233/COM-210362},
doi = {10.3233/COM-210362},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/CholakG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GohLNS22,
author = {Jun Le Goh and
Steffen Lempp and
Keng Meng Ng and
Mariya Ivanova Soskova},
title = {Extensions of two constructions of Ahmad},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {269--297},
year = {2022},
url = {https://doi.org/10.3233/COM-210380},
doi = {10.3233/COM-210380},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/GohLNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GolovT22,
author = {Anton Golov and
Sebastiaan A. Terwijn},
title = {Fixpoints and relative precompleteness},
journal = {Comput.},
volume = {11},
number = {2},
pages = {135--146},
year = {2022},
url = {https://doi.org/10.3233/COM-210344},
doi = {10.3233/COM-210344},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/GolovT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/LutzS22,
author = {Neil Lutz and
Donald M. Stull},
title = {Dimension spectra of lines},
journal = {Comput.},
volume = {11},
number = {2},
pages = {85--112},
year = {2022},
url = {https://doi.org/10.3233/COM-190292},
doi = {10.3233/COM-190292},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/LutzS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/MarconeV22,
author = {Alberto Marcone and
Manlio Valenti},
title = {Effective aspects of Hausdorff and Fourier dimension},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {299--333},
year = {2022},
url = {https://doi.org/10.3233/COM-210372},
doi = {10.3233/COM-210372},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/MarconeV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Nielsen22,
author = {Pace P. Nielsen},
title = {Definitional schemes for primitive recursive and computable functions},
journal = {Comput.},
volume = {11},
number = {1},
pages = {1--8},
year = {2022},
url = {https://doi.org/10.3233/COM-210312},
doi = {10.3233/COM-210312},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Nielsen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Sanders22,
author = {Sam Sanders},
title = {Countable sets versus sets that are countable in reverse mathematics},
journal = {Comput.},
volume = {11},
number = {1},
pages = {9--39},
year = {2022},
url = {https://doi.org/10.3233/COM-210313},
doi = {10.3233/COM-210313},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Sanders22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/SchusterW22,
author = {Peter Schuster and
Daniel Misselbeck{-}Wessel},
title = {The Jacobson radical for an inconsistency predicate},
journal = {Comput.},
volume = {11},
number = {2},
pages = {147--162},
year = {2022},
url = {https://doi.org/10.3233/COM-210365},
doi = {10.3233/COM-210365},
timestamp = {Fri, 09 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/SchusterW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Selivanov22,
author = {Victor L. Selivanov},
title = {Non-collapse of the effective Wadge hierarchy},
journal = {Comput.},
volume = {11},
number = {3-4},
pages = {335--358},
year = {2022},
url = {https://doi.org/10.3233/COM-210376},
doi = {10.3233/COM-210376},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Selivanov22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/VuF22,
author = {Martin Vu and
Henning Fernau},
title = {Insertion-deletion systems with substitutions {I}},
journal = {Comput.},
volume = {11},
number = {1},
pages = {57--83},
year = {2022},
url = {https://doi.org/10.3233/COM-210345},
doi = {10.3233/COM-210345},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/VuF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Weihrauch22,
author = {Klaus Weihrauch},
title = {Intersection points of planar curves can be computed},
journal = {Comput.},
volume = {11},
number = {2},
pages = {113--133},
year = {2022},
url = {https://doi.org/10.3233/COM-210311},
doi = {10.3233/COM-210311},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Weihrauch22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/ArthurDG21,
author = {Katherine Arthur and
Rod Downey and
Noam Greenberg},
title = {Maximality and collapse in the hierarchy of \emph{{\(\alpha\)}}-c.a.
degrees},
journal = {Comput.},
volume = {10},
number = {3},
pages = {181--214},
year = {2021},
url = {https://doi.org/10.3233/COM-200297},
doi = {10.3233/COM-200297},
timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/ArthurDG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Barnes21,
author = {James Barnes},
title = {The {\(\Sigma\)}2 theory of Dh({\unicode{10877}}hO) as an uppersemilattice
with least and greatest element is decidable},
journal = {Comput.},
volume = {10},
number = {4},
pages = {305--325},
year = {2021},
url = {https://doi.org/10.3233/COM-210308},
doi = {10.3233/COM-210308},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Barnes21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BazhenovFRM21,
author = {Nikolay Bazhenov and
Ekaterina B. Fokina and
Dino Rossegger and
Luca San Mauro},
title = {Degrees of bi-embeddable categoricity},
journal = {Comput.},
volume = {10},
number = {1},
pages = {1--16},
year = {2021},
url = {https://doi.org/10.3233/COM-190289},
doi = {10.3233/COM-190289},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/BazhenovFRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BeMentHW21,
author = {Zach BeMent and
Jeffry L. Hirst and
Asuka Wallace},
title = {Reverse mathematics and Weihrauch analysis motivated by finite complexity
theory},
journal = {Comput.},
volume = {10},
number = {4},
pages = {343--354},
year = {2021},
url = {https://doi.org/10.3233/COM-210310},
doi = {10.3233/COM-210310},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/BeMentHW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Brown21,
author = {Tyler A. Brown},
title = {Computing on the Banach space C[0, 1]},
journal = {Comput.},
volume = {10},
number = {3},
pages = {257--270},
year = {2021},
url = {https://doi.org/10.3233/COM-200306},
doi = {10.3233/COM-200306},
timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Brown21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Carl21,
author = {Merlin Carl},
title = {Effectivity and reducibility with ordinal Turing machines},
journal = {Comput.},
volume = {10},
number = {4},
pages = {289--304},
year = {2021},
url = {https://doi.org/10.3233/COM-210307},
doi = {10.3233/COM-210307},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Carl21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Cintioli21,
author = {Patrizio Cintioli},
title = {Degrees of sets having no subsets of higher \emph{m}- and tt-degree},
journal = {Comput.},
volume = {10},
number = {3},
pages = {235--255},
year = {2021},
url = {https://doi.org/10.3233/COM-200296},
doi = {10.3233/COM-200296},
timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Cintioli21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Daylight21,
author = {Edgar G. Daylight},
title = {The halting problem and security's language-theoretic approach: Praise
and criticism from a technical historian},
journal = {Comput.},
volume = {10},
number = {2},
pages = {141--158},
year = {2021},
url = {https://doi.org/10.3233/COM-180217},
doi = {10.3233/COM-180217},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Daylight21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DzhafarovP21,
author = {Damir D. Dzhafarov and
Ludovic Patey},
title = {COH, SRT22, and multiple functionals},
journal = {Comput.},
volume = {10},
number = {2},
pages = {111--121},
year = {2021},
url = {https://doi.org/10.3233/COM-190261},
doi = {10.3233/COM-190261},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/DzhafarovP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Fiori-CaronesM21,
author = {Marta Fiori{-}Carones and
Alberto Marcone},
title = {To reorient is easier than to orient: An on-line algorithm for reorientation
of graphs},
journal = {Comput.},
volume = {10},
number = {3},
pages = {215--233},
year = {2021},
url = {https://doi.org/10.3233/COM-190285},
doi = {10.3233/COM-190285},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Fiori-CaronesM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Fujiwara21,
author = {Makoto Fujiwara},
title = {Weihrauch and constructive reducibility between existence statements},
journal = {Comput.},
volume = {10},
number = {1},
pages = {17--30},
year = {2021},
url = {https://doi.org/10.3233/COM-190278},
doi = {10.3233/COM-190278},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Fujiwara21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Ko21,
author = {Liling Ko},
title = {Nonlowness is independent from fickleness},
journal = {Comput.},
volume = {10},
number = {4},
pages = {271--288},
year = {2021},
url = {https://doi.org/10.3233/COM-190269},
doi = {10.3233/COM-190269},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Ko21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/KonecnyN21,
author = {Michal Konecn{\'{y}} and
Eike Neumann},
title = {Representations and evaluation strategies for feasibly approximable
functions},
journal = {Comput.},
volume = {10},
number = {1},
pages = {63--89},
year = {2021},
url = {https://doi.org/10.3233/COM-180234},
doi = {10.3233/COM-180234},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/KonecnyN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Miller21,
author = {Justin Miller},
title = {Intermediate intrinsic density and randomness},
journal = {Comput.},
volume = {10},
number = {4},
pages = {327--341},
year = {2021},
url = {https://doi.org/10.3233/COM-210309},
doi = {10.3233/COM-210309},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Miller21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Normann21,
author = {Dag Normann},
title = {Measure-theoretic uniformity and the Suslin functional},
journal = {Comput.},
volume = {10},
number = {2},
pages = {91--105},
year = {2021},
url = {https://doi.org/10.3233/COM-190248},
doi = {10.3233/COM-190248},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Normann21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Sanders21,
author = {Sam Sanders},
title = {Nets and reverse mathematics},
journal = {Comput.},
volume = {10},
number = {1},
pages = {31--62},
year = {2021},
url = {https://doi.org/10.3233/COM-190265},
doi = {10.3233/COM-190265},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Sanders21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/SelivanovaS21,
author = {Svetlana Selivanova and
Victor L. Selivanov},
title = {Bit complexity of computing solutions for symmetric hyperbolic systems
of PDEs with guaranteed precision},
journal = {Comput.},
volume = {10},
number = {2},
pages = {123--140},
year = {2021},
url = {https://doi.org/10.3233/COM-180215},
doi = {10.3233/COM-180215},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/SelivanovaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Welch21,
author = {Philip D. Welch},
title = {Characterisations of variant transfinite computational models: Infinite
time Turing, ordinal time Turing, and Blum-Shub-Smale machines},
journal = {Comput.},
volume = {10},
number = {2},
pages = {159--180},
year = {2021},
url = {https://doi.org/10.3233/COM-200301},
doi = {10.3233/COM-200301},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Welch21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Westrick21,
author = {Linda Westrick},
title = {A note on the diamond operator},
journal = {Comput.},
volume = {10},
number = {2},
pages = {107--110},
year = {2021},
url = {https://doi.org/10.3233/COM-200295},
doi = {10.3233/COM-200295},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Westrick21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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 = {Sat, 30 Sep 2023 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, 14 Oct 2021 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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/FernauFHKMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Gerdes20,
author = {Peter M. 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 = {Wed, 15 Jun 2022 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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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 = {Sun, 02 Oct 2022 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 = {Mon, 26 Sep 2022 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 = {Sun, 02 Oct 2022 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 = {Sat, 30 Sep 2023 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 = {Sun, 02 Oct 2022 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 = {Sun, 02 Oct 2022 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 = {Sat, 30 Sep 2023 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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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 = {Tue, 07 May 2024 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 M. 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 = {Mon, 29 Mar 2021 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 = {Wed, 16 Nov 2022 00:00:00 +0100},
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 = {Sun, 02 Oct 2022 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 = {Wed, 16 Nov 2022 00:00:00 +0100},
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 = {Tue, 07 May 2024 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 = {Sat, 30 Sep 2023 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 = {Sat, 30 Sep 2023 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 = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/SchlichtS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-13 01:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
