Concepedia

Decidability Problems

Decidability Problems is a theoretical construct in the study of Context-Free Languages that identifies decision questions about language properties for which an algorithm can definitively determine the truth or falsity of a given instance.

776

Publications

32.9K

Citations

1K

Authors

486

Institutions

Publications per year

2017–2026

64

Parents

Publications

776

Decidability of second-order theories and automata on infinite trees.

Michael O. Rabin · Transactions of the American Mathematical Society · 1969 · 1.2K citations · Full text

, , +13

The undecidability of the domino problem

Robert E. Berger · Memoirs of the American Mathematical Society · 1966 · 974 citations

, , +10

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 742 citations

, , +16

What's Decidable about Hybrid Automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · Journal of Computer and System Sciences · 1998 · 675 citations · Full text

, , +17

Recursive Unsolvability of a problem of Thue

Emil L. Post · Journal of Symbolic Logic · 1947 · 533 citations

, , +13

1–5 of 776

Authors

1K

  1. MY
    Moshe Y. Vardi

    Rice University, United States

    9 publications · 649 citations

    9

    h-index

  2. SD
    Stéphane Demri

    Centre National de la Recherche Scientifique, France

    8 publications · 208 citations

    8

    h-index

  3. AP
    Alberto Policriti

    University of Udine, Italy

    6 publications · 132 citations

    6

    h-index

  4. SD
    Stéphanie Delaune

    Centre National de la Recherche Scientifique, France

    6 publications · 166 citations

    6

    h-index

  5. TP
    Thomas Place

    Laboratoire Bordelais de Recherche en Informatique, France

    6 publications · 122 citations

    6

    h-index

1–5 of 1K

Institutions

486

  1. Centre National de la Recherche Scientifique

    Paris, France

    24 h-index

    81 publications

    2.5K citations

  2. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    21 h-index

    39 publications

    1.5K citations

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

    Le Chesnay-Rocquencourt, France

    20 h-index

    40 publications

    2K citations

  4. Université Paris Cité

    Paris, France

    16 h-index

    26 publications

    1.3K citations

  5. University of Oxford

    Oxford, United Kingdom

    15 h-index

    45 publications

    1K citations

  6. Laboratoire Spécification et Vérification

    Cachan, France

    14 h-index

    25 publications

    774 citations

  7. University of Turku

    Turku, Finland

    13 h-index

    30 publications

    793 citations

  8. University of Liverpool

    Liverpool, United Kingdom

    13 h-index

    20 publications

    493 citations

1–8 of 486

Venues

  1. Theoretical Computer Science

    53 publications · 1.8K citations

    23

    h-index

  2. Journal of Symbolic Logic

    37 publications · 2.2K citations

    22

    h-index

  3. Information and Computation

    17 publications · 524 citations

    15

    h-index

  4. Journal of the ACM

    JACM · 19 publications · 1.2K citations

    14

    h-index

  5. Journal of Computer and System Sciences

    17 publications · 1.1K citations

    14

    h-index

1–5