default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputability, Volume 7
Volume 7, Number 1, 2018
- Johanna N. Y. Franklin, Dan Turetsky:
Lowness for isomorphism and degrees of genericity. 1-6 - Sam Sanders:
The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis. 7-43 - Shuichi Hirahara, Akitoshi Kawamura:
On characterizations of randomized computation using plain Kolmogorov complexity. 45-56 - Zvonko Iljazovic, Bojan Pazek:
Computable intersection points. 57-99
Volume 7, Numbers 2-3, 2018
- Benedikt Löwe:
Preface to the special issue in memory of S. Barry Cooper (1943-2015). 101
- Richard Elwes, Andy Lewis-Pye, Benedikt Löwe, Dugald Macpherson, Dag Normann, Andrea Sorbi, Alexandra A. Soskova
, Mariya Ivanova Soskova, Peter van Emde Boas, Stanley S. Wainer:
S. Barry Cooper (1943-2015). 103-131
- Angsheng Li, Mingji Xia:
Splitting and jump inversion in the Turing degrees. 133-142 - S. Barry Cooper, James Gay, Charles M. Harris, Kyung Il Lee, Anthony Morphett:
Linearisations and the Ershov hierarchy. 143-169 - George Barmpalias, Andrew Lewis-Pye, Angsheng Li:
Pointed computations and Martin-Löf randomness. 171-177 - Hristo Aleksndrov Ganchev, Mariya Ivanova Soskova:
The jump hierarchy in the enumeration degrees. 179-188 - Andrew E. M. Lewis-Pye:
The search for natural definability in the Turing degrees. 189-235 - Klaus Ambos-Spies:
Automorphism bases for the recursively enumerable degrees. 237-258 - Cristian S. Calude, Monica Dumitrescu:
A probabilistic anytime algorithm for the halting problem. 259-271 - Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan:
Finitely generated semiautomatic groups. 273-287 - Victor L. Selivanov, Mars M. Yamaleev:
Extending Cooper's theorem to Δ 3 0 Turing degrees. 289-300
Volume 7, Number 4, 2018
- Diogo Poças, Jeffery I. Zucker:
Analog networks on function data streams. 301-322 - Ludovic Patey:
Partial orders and immunity in reverse mathematics. 323-339 - Spencer Backman, Tony Huynh:
Transfinite Ford-Fulkerson on a finite network. 341-347 - Matthew Wright:
Degrees of relations on ordinals. 349-365 - Joe Davidson, Greg Michaelson:
Expressiveness, meanings and machines. 367-394
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-11-04 22:26 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:
