Pebble Games

Pebble Games is a formal logical game in descriptive complexity theory that serves as a method for comparing the expressive power of logical languages by modeling the interaction between two players who place and move pebbles to represent variables in finite structures, distinguished by its use of a bounded number of pebbles to capture resource-constrained definability.

85

Publications

4.7K

Citations

137

Authors

77

Institutions

Publications per year

2017–2026

15

Authors

137

  1. IS
    Ileana Streinu

    Smith College, United States

    7 publications · 359 citations

    7

    h-index

  2. RE
    Robert E. Tarjan

    Princeton University, United States

    6 publications · 380 citations

    6

    h-index

  3. AL
    Audrey Lee

    University of Massachusetts Amherst, United States

    5 publications · 309 citations

    5

    h-index

  4. DJ
    Donald J. Jacobs

    University of North Carolina at Charlotte, United States

    4 publications · 701 citations

    4

    h-index

  5. PG
    Phokion G. Kolaitis

    University of California, Santa Cruz, United States

    4 publications · 359 citations

    4

    h-index

1–5 of 137

Venues

  1. arXiv (Cornell University)

    Repository · 4 publications · 71 citations

    4

    h-index

  2. Journal of the ACM

    JACM · 3 publications · 239 citations

    3

    h-index

  3. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 3 publications · 57 citations

    3

    h-index

  4. Journal of Symbolic Logic

    3 publications · 150 citations

    3

    h-index

  5. SIAM Journal on Computing

    3 publications · 95 citations

    3

    h-index

1–5