Search dblp for Publications

export results for "toc:db/journals/computability/computability7.bht:"

 download as .bib file

@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    = {Sun, 06 Oct 2024 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}
}