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    = {Sun, 04 Aug 2024 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    = {Sun, 04 Aug 2024 01:00:00 +0200},
  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}
}

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.