Concepedia

Computable Reducibility

Computable Reducibility is a formal relation in computability theory that classifies decision problems by permitting one problem to be algorithmically transformed into another via a computable function, thereby establishing relative solvability in terms of Turing reducibility.

120

Publications

5.2K

Citations

170

Authors

132

Institutions

Publications per year

2017–2026

14

Parents

Publications

120

The Computational Complexity of Provability in Systems of Modal Propositional Logic

Richard E. Ladner · SIAM Journal on Computing · 1977 · 555 citations

, , +11

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions

Calvin C. Elgot, Martin Davis · Mathematics of Computation · 1966 · 329 citations

, , +16

Computability on subsets of metric spaces

Vasco Brattka, Gero Presser · Theoretical Computer Science · 2003 · 163 citations

, , +12

Hidden translation and orbit coset in quantum computing

Katalin Friedl, Gábor Ivanyos, Frédéric Magniez et al. · 2003 · 145 citations

, , +14

Computability with low-dimensional dynamical systems

Pascal Koiran, Michel Cosnard, Max Garzón · Theoretical Computer Science · 1994 · 119 citations

, , +10

1–5 of 120

Authors

170

  1. AP
    Arno Pauly

    University of Cambridge, United Kingdom

    4 publications · 108 citations

    4

    h-index

  2. VB
    Vasco Brattka

    University of Cape Town, South Africa

    4 publications · 338 citations

    4

    h-index

  3. VH
    Valentina Harizanov

    George Washington University, United States

    4 publications · 152 citations

    4

    h-index

  4. UA
    Uri Andrews

    University of Wisconsin–Madison, United States

    4 publications · 104 citations

    4

    h-index

  5. AM
    Antonio Montalbán

    University of Chicago, United States

    4 publications · 144 citations

    4

    h-index

1–5 of 170

Institutions

132

  1. University of Chicago

    Chicago, United States

    8 h-index

    10 publications

    326 citations

  2. University of Notre Dame

    Notre Dame, United States

    6 h-index

    9 publications

    255 citations

  3. University of Cape Town

    Rondebosch, South Africa

    5 h-index

    5 publications

    271 citations

  4. Victoria University of Wellington

    Wellington, New Zealand

    4 h-index

    7 publications

    136 citations

  5. University of Wisconsin–Madison

    Madison, United States

    4 h-index

    7 publications

    245 citations

  6. University of Cambridge

    Cambridge, United Kingdom

    4 h-index

    4 publications

    129 citations

  7. University of Bologna

    Bologna, Italy

    4 h-index

    4 publications

    165 citations

  8. George Washington University

    Washington, United States

    4 h-index

    4 publications

    152 citations

1–8 of 132

Venues

  1. Theoretical Computer Science

    13 publications · 763 citations

    13

    h-index

  2. Journal of Symbolic Logic

    11 publications · 354 citations

    10

    h-index

  3. Algebra and Logic

    9 publications · 335 citations

    8

    h-index

  4. Annals of Pure and Applied Logic

    5 publications · 154 citations

    5

    h-index

  5. Transactions of the American Mathematical Society

    TRAN · 5 publications · 225 citations

    5

    h-index

1–5