Concepedia

Quantifier Rank

Quantifier Rank is a measure in descriptive complexity theory that assigns to each logical formula the maximum depth of nested quantifiers, distinguishing it from other formula complexity measures by focusing specifically on the structural depth of quantification.

11

Publications

403

Citations

16

Authors

15

Institutions

Publications per year

2017–2026

2

Variants

Quantifier Depth

Parents

Publications

11

1–5 of 11

Authors

16

  1. BR
    Benjamin Rossman

    Massachusetts Institute of Technology, United States

    2 publications · 200 citations

    2

    h-index

  2. SF
    Santiago Figueira

    Universidad de Buenos Aires, Argentina

    2 publications · 27 citations

    2

    h-index

  3. DF
    Diego Figueira

    Centre National de la Recherche Scientifique, France

    2 publications · 27 citations

    2

    h-index

  4. CA
    Carlos Areces

    Universidad Nacional de Córdoba, Argentina

    2 publications · 27 citations

    2

    h-index

  5. BA
    Benjamin Aminof

    University of Naples Federico II, Italy

    1 publications · 18 citations

    1

    h-index

1–5 of 16

Institutions

15

  1. Consejo Nacional de Investigaciones Científicas y Técnicas

    Buenos Aires, Argentina

    2 h-index

    4 publications

    54 citations

  2. TU Wien

    Vienna, Austria

    2 h-index

    3 publications

    54 citations

  3. Universidad Nacional de Córdoba

    Córdoba, Argentina

    2 h-index

    2 publications

    27 citations

  4. Universidad de Buenos Aires

    Buenos Aires, Argentina

    2 h-index

    2 publications

    27 citations

  5. University of Helsinki

    Helsinki, Finland

    2 h-index

    3 publications

    106 citations

  6. Marquette University

    Milwaukee, United States

    1 h-index

    1 publications

    14 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    1 h-index

    1 publications

    136 citations

  8. Institut Polytechnique de Bordeaux

    Bordeaux, France

    1 h-index

    1 publications

    15 citations

1–8 of 15

Venues

  1. Journal of Symbolic Logic

    3 publications · 96 citations

    3

    h-index

  2. Journal of the ACM

    JACM · 1 publications · 136 citations

    1

    h-index

  3. Journal of Logic and Computation

    1 publications · 34 citations

    1

    h-index

  4. Journal of Artificial Intelligence Research

    JAIR · 1 publications · 15 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 10 citations

    1

    h-index

1–5