Concepedia

Decidability

Decidability is a formal property of a decision problem within a computational model, distinguishing it from other semantic properties by the existence of an effective procedure that always halts and correctly determines whether any given instance of the problem belongs to the language or satisfies the logical formula under the rules of the system.

475

Publications

22.6K

Citations

713

Authors

371

Institutions

Publications per year

2017–2026

46

Parents

Publications

475

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

What's decidable about hybrid automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · 1995 · 521 citations · Full text

, , +17

1–5 of 475

Authors

713

  1. DC
    Diego Calvanese

    Free University of Bozen-Bolzano, Italy

    7 publications · 245 citations

    7

    h-index

  2. VC
    Véronique Cortier

    Laboratoire Lorrain de Recherche en Informatique et ses Applications, France

    7 publications · 209 citations

    7

    h-index

  3. MM
    Marco Montali

    Free University of Bozen-Bolzano, Italy

    6 publications · 128 citations

    6

    h-index

  4. SD
    Stéphanie Delaune

    Centre National de la Recherche Scientifique, France

    6 publications · 215 citations

    6

    h-index

  5. SD
    Stéphane Demri

    Centre National de la Recherche Scientifique, France

    6 publications · 98 citations

    6

    h-index

1–5 of 713

Institutions

371

  1. Centre National de la Recherche Scientifique

    Paris, France

    23 h-index

    58 publications

    1.8K citations

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

    Le Chesnay-Rocquencourt, France

    16 h-index

    31 publications

    1.6K citations

  3. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    16 h-index

    30 publications

    1.2K citations

  4. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    12 h-index

    22 publications

    504 citations

  5. University of Oxford

    Oxford, United Kingdom

    12 h-index

    28 publications

    583 citations

  6. Université Paris Cité

    Paris, France

    11 h-index

    12 publications

    500 citations

  7. Laboratoire Spécification et Vérification

    Cachan, France

    10 h-index

    19 publications

    529 citations

  8. Cornell University

    Ithaca, United States

    9 h-index

    18 publications

    2.2K citations

1–8 of 371

Venues

  1. Journal of Symbolic Logic

    28 publications · 1.2K citations

    18

    h-index

  2. Theoretical Computer Science

    21 publications · 643 citations

    16

    h-index

  3. Logical Methods in Computer Science

    LMCS · 10 publications · 210 citations

    10

    h-index

  4. Fundamenta Informaticae

    10 publications · 166 citations

    10

    h-index

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

    Repository · 12 publications · 215 citations

    10

    h-index

1–5