Concepedia

Capture Of Complexity Classes

Capture of Complexity Classes is a formal framework in descriptive complexity theory that characterizes computational complexity classes by means of logical definability, distinguishing itself through the precise correspondence between logical languages and the resource-bounded computations of Turing machines.

38

Publications

3.8K

Citations

63

Authors

59

Institutions

Publications per year

2017–2026

0

Parents

Publications

38

Determining computational complexity from characteristic ‘phase transitions’

Rémi Monasson, Riccardo Zecchina, Scott Kirkpatrick et al. · Nature · 1999 · 803 citations

, , +14

An approach to the formal analysis of user complexity

David E. Kieras, Peter G. Polson · International Journal of Human-Computer Studies · 1999 · 598 citations

, , +9

Languages that Capture Complexity Classes

Neil Immerman · SIAM Journal on Computing · 1987 · 545 citations

, , +17

An approach to the formal analysis of user complexity

David E. Kieras, Peter G. Polson · International Journal of Man-Machine Studies · 1985 · 501 citations

, , +9

Mathematical foundation of a new complexity measure

Gu Fanji · Applied Mathematics and Mechanics · 2005 · 117 citations

, , +14

1–5 of 38

Authors

63

  1. EG
    Erich Grädel

    University of Basel, Switzerland

    3 publications · 141 citations

    3

    h-index

  2. DT
    Denis Thérien

    McGill University, Canada

    2 publications · 50 citations

    2

    h-index

  3. PM
    Pierre McKenzie

    Université de Montréal, Canada

    2 publications · 50 citations

    2

    h-index

  4. NI
    Neil Immerman

    University of Massachusetts Amherst, United States

    2 publications · 652 citations

    2

    h-index

  5. MY
    Moshe Y. Vardi

    Rice University, United States

    2 publications · 85 citations

    2

    h-index

1–5 of 63

Institutions

59

  1. University of Michigan

    Ann Arbor, United States

    3 h-index

    3 publications

    684 citations

  2. IBM (United States)

    Armonk, United States

    2 h-index

    2 publications

    835 citations

  3. RWTH Aachen University

    Aachen, Germany

    2 h-index

    2 publications

    40 citations

  4. University of Basel

    Basel, Switzerland

    2 h-index

    2 publications

    121 citations

  5. Hebrew University of Jerusalem

    Jerusalem, Israel

    2 h-index

    2 publications

    869 citations

  6. McGill University

    Montreal, Canada

    2 h-index

    2 publications

    50 citations

  7. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    2 h-index

    2 publications

    85 citations

  8. Université de Montréal

    Montreal, Canada

    2 h-index

    2 publications

    50 citations

1–8 of 59

Venues

  1. Information and Computation

    4 publications · 212 citations

    4

    h-index

  2. Theoretical Computer Science

    3 publications · 218 citations

    3

    h-index

  3. Journal of Symbolic Logic

    3 publications · 106 citations

    3

    h-index

  4. Duke Law Journal

    1 publications · 41 citations

    1

    h-index

  5. 1

    h-index

1–5