Follow
rod downey
Title
Cited by
Year
Some Open Questions and Recent Results on Computable Banach Spaces
R Downey, N Greenberg, L Qian
Conference on Computability in Europe, 10-26, 2024
2024
Parameterized Complexity
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
12024
Deeper Computability
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
Some Structural Complexity
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
Computational Complexity
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
Regular Languages and Finite Automata
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
Undecidable Problems
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
Solutions
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
Other Approaches to Coping with Hardness
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
General Models of Computation
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
NP-and PSPACE-Completeness
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
Some Naive Set Theory
R Downey
Computability and Complexity: Foundations and Tools for Pursuing Scientific …, 2024
2024
COMPUTABILITY AND COMPLEXITY: Foundations and Tools for Pursuing Scientific Applications
R Downey
Springer, 2024
2024
Lowness properties for strong reducibilities and the computational power of maximal sets
K Ambos-Spies, R Downey, M Monath
Computability, 1-56, 2024
2024
Online, computable and punctual structure theory
M Askes, R Downey
Logic Journal of the IGPL 31 (6), 1251-1293, 2023
12023
NOTES ON SACKS’SPLITTING THEOREM
K Ambos-Spies, RG Downey, M Monath, KM Ng
The Journal of Symbolic Logic, 1-30, 2023
12023
Computably compact metric spaces
RG Downey, AG Melnikov
Bulletin of Symbolic Logic 29 (2), 170-263, 2023
182023
Punctually presented structures II: Comparing presentations
M Dorzhieva, R Downey, E Hammatt, A Melnikov, KM Ng
Preprint, 2023
42023
On the CE degrees realizable in II⁰₁ classes
BF Csima, R Downey, KM Ng
Journal of Symbolic Logic, 2023
2023
On the CE Degrees Realizable in Classes
BF Csima, R Downey, KM NG
The Journal of Symbolic Logic, 1-26, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20