Search dblp for Publications

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

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

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