default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputability, Volume 9
Volume 9, Number 1, 2020
- Henning Fernau
, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier:
Diminishable parameterized problems and strict polynomial kernelization. 1-24 - Paul Shafer:
The strength of compactness for countable complete linear orders. 25-36 - Peter M. Gerdes:
An ω-REA set forming a minimal pair with 0~′. 37-50 - Pietro Milici:
A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation. 51-83
Volume 9, Number 2, 2020
- Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly:
Ramsey's theorem and products in the Weihrauch degrees. 85-110 - Reese Johnston:
Cantor-Bendixson ranks of effectively closed sets in admissible recursion theory. 111-125 - Barbara F. Csima, Michael Deveau, Matthew Harrison-Trainor, Mohammad Assem Mahmoud:
Degrees of categoricity above limit ordinals. 127-137 - Lorenzo Carlucci, Leszek Aleksander Kolodziejczyk, Francesco Lepore, Konrad Zdanowski:
New bounds on the strength of some restrictions of Hindman's Theorem. 139-153 - Cristian S. Calude, Monica Dumitrescu:
A statistical anytime algorithm for the Halting Problem. 155-166
Volume 9, Numbers 3-4, 2020
- Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly:
Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018. 167-168 - Matthew de Brecht, Arno Pauly, Matthias Schröder:
Overt choice. 169-191 - Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey:
Some results concerning the SRT22 vs. COH problem. 193-217 - Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama:
Combinatorial principles equivalent to weak induction. 219-229 - Jun Le Goh:
Compositions of multivalued functions. 231-247 - Peter Hertling:
Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations. 249-307 - Jeffry L. Hirst:
Leaf management. 309-314 - Takako Nemoto:
A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1]. 315-326 - Victor L. Selivanov:
Q-Wadge degrees as free structures. 327-341
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.
last updated on 2025-01-13 01:08 CET 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:
