Concepedia

Pushdown Automata Decision Problems

Pushdown Automata Decision Problems is a theoretical computer science construct that refers to a class of formal decision problems concerning the determination of properties—such as emptiness, finiteness, equivalence, or inclusion—associated with pushdown automata and the context-free languages they recognize.

8

Publications

364

Citations

18

Authors

11

Institutions

Publications per year

2017–2026

0

Parents

Publications

8

Finite-Turn Pushdown Automata

Seymour Ginsburg, Edwin H. Spanier · SIAM Journal on Control · 1966 · 175 citations

, , +13

New Decidability Results Concerning Two-Way Counter Machines

Óscar H. Ibarra, Tao Jiang, Nicholas Trân et al. · SIAM Journal on Computing · 1995 · 54 citations

, , +16

Properties of Finite and Pushdown Transducers

Christian Choffrut, Karel Čulík · SIAM Journal on Computing · 1983 · 26 citations

, , +15

The Complexity of Games on Higher Order Pushdown Automata

Thierry Cachat, Igor Walukiewicz · arXiv (Cornell University) · 2007 · 26 citations · Full text

, , +17

Decision problems for pushdown threads

J.A. Bergstra, I. Bethke, Alban Ponse · Acta Informatica · 2007 · 24 citations · Full text

, , +13

1–5 of 8

Authors

18

  1. ÓH
    Óscar H. Ibarra

    University of California, Santa Barbara, United States

    1 publications · 54 citations

    1

    h-index

  2. KČ
    Karel Čulík

    University of Waterloo, Canada

    1 publications · 26 citations

    1

    h-index

  3. JB
    J.A. Bergstra

    University of Amsterdam, Netherlands

    1 publications · 24 citations

    1

    h-index

  4. PG
    Pierre Ganty

    IMDEA Software Institute, Spain

    1 publications · 22 citations

    1

    h-index

  5. IB
    I. Bethke

    University of Amsterdam, Netherlands

    1 publications · 24 citations

    1

    h-index

1–5 of 18

Institutions

11

  1. Madrid Institute for Advanced Studies

    Madrid, Spain

    1 h-index

    1 publications

    22 citations

  2. University of Insubria

    Varese, Italy

    1 h-index

    1 publications

    24 citations

  3. Laboratoire d'Informatique Algorithmique: Fondements et Applications

    Paris, France

    1 h-index

    1 publications

    26 citations

  4. Laboratoire Bordelais de Recherche en Informatique

    Talence, France

    1 h-index

    1 publications

    26 citations

  5. Université Paris-Saclay

    Gif-sur-Yvette, France

    1 h-index

    1 publications

    13 citations

  6. Max Planck Society

    Munich, Germany

    1 h-index

    1 publications

    22 citations

  7. Technical University of Munich

    Munich, Germany

    1 h-index

    1 publications

    22 citations

  8. Utrecht University

    Utrecht, The Netherlands

    1 h-index

    1 publications

    24 citations

1–8 of 11

Venues

  1. SIAM Journal on Computing

    2 publications · 80 citations

    2

    h-index

  2. SIAM Journal on Control

    1 publications · 175 citations

    1

    h-index

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

    Repository · 1 publications · 13 citations

    1

    h-index

  4. Acta Informatica

    1 publications · 24 citations

    1

    h-index

  5. arXiv (Cornell University)

    Repository · 1 publications · 26 citations

    1

    h-index

1–5