Concepedia

Descriptive Complexity Of P

Descriptive Complexity of P is a formal framework in computational complexity theory that characterizes the class P by identifying it with the set of problems expressible in first-order logic augmented with a least fixed-point operator, thereby distinguishing it from other descriptive complexity classes by its specific logical definability of polynomial-time computable properties.

7

Publications

215

Citations

18

Authors

11

Institutions

Publications per year

2017–2026

2

Parents

Publications

7

Descriptive Complexity of #P Functions

Sanjeev Saluja, K. V. Subrahmanyam, M.N. Thakur · Journal of Computer and System Sciences · 1995 · 51 citations

, , +14

Linear dynamical systems on Hilbert spaces: typical properties and\n explicit examples

Sophie Grivaux, Étienne Matheron, Quentin Menet · arXiv (Cornell University) · 2017 · 48 citations · Full text

, , +16

Arithmetical representations of Brownian motion I

Willem L. Fouché · Journal of Symbolic Logic · 2000 · 45 citations

, , +14

Turing Machines with Atoms

Mikołaj Bojańczyk, Bartek Klin, Sławomir Lasota et al. · 2013 · 30 citations

, , +14

On the metamathematics of the P vs. NP question

Newton C. A. da Costa, Francisco Antônio Dória, E. Bir · Applied Mathematics and Computation · 2007 · 16 citations

, , +4

1–5 of 7

Authors

18

  1. SS
    Sanjeev Saluja

    Tata Institute of Fundamental Research, India

    1 publications · 51 citations

    1

    h-index

  2. EB
    E. Bir

    Brazilian Academy of Sciences, Brazil

    1 publications · 16 citations

    1

    h-index

  3. KV
    K. V. Subrahmanyam

    Chennai Mathematical Institute, India

    1 publications · 51 citations

    1

    h-index

  4. BK
    Bartek Klin

    University of Warsaw, Poland

    1 publications · 30 citations

    1

    h-index

  5. QJ
    Qing‐Shan Jia

    Tsinghua University, China

    1 publications · 12 citations

    1

    h-index

1–5 of 18

Institutions

11

  1. Universidade de São Paulo

    São Paulo, Brazil

    2 h-index

    5 publications

    74 citations

  2. Université d'Artois

    Arras, France

    1 h-index

    2 publications

    96 citations

  3. Tsinghua University

    Beijing, China

    1 h-index

    2 publications

    24 citations

  4. Université de Lille

    Lille, France

    1 h-index

    1 publications

    48 citations

  5. Tata Institute of Fundamental Research

    Mumbai, India

    1 h-index

    3 publications

    153 citations

  6. Laboratoire Paul Painlevé

    Villeneuve-d'Ascq, France

    1 h-index

    1 publications

    48 citations

  7. University of Warsaw

    Warsaw, Poland

    1 h-index

    4 publications

    120 citations

  8. University of Pretoria

    Pretoria, South Africa

    1 h-index

    1 publications

    45 citations

1–8 of 11

Venues

  1. Applied Mathematics and Computation

    1 publications · 16 citations

    1

    h-index

  2. 1

    h-index

  3. arXiv (Cornell University)

    Repository · 1 publications · 48 citations

    1

    h-index

  4. 1

    h-index

  5. Journal of Symbolic Logic

    1 publications · 45 citations

    1

    h-index

1–5