Get started
Keyword

decidability

Description: A property of a logical or mathematical problem whereby an algorithm can determine the answer for every valid input.
Wikidata ID: wiki/Q430001
OpenAlex ID: keywords/decidability
Introduction to automata theory, languages and computation
1981 · Mathematics and Computers in Simulation · 10,700
On Computable Numbers, with an Application to the Entscheidungsproblem
1937 · A. M. Turing · Proceedings of the London Mathematical Society · 8,230
A theory of timed automata
1994 · Rajeev Alur, David L. Dill · Theoretical Computer Science · 6,494
A Temporal Logic of Nested Calls and Returns
2004 · Rajeev Alur, Kousha Etessami, et al. · Lecture notes in computer science · 3,332
A Mathematical Introduction to Logic
2001 · Elsevier eBooks · 2,387
The algorithmic analysis of hybrid systems
1995 · R. Alur, C. Courcoubetis, et al. · Theoretical Computer Science · 1,884
PDF
Finite Automata and Their Decision Problems
1959 · M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1,879
Modal Logic: An Introduction
1980 · Brian F. Chellas · 1,808
A Decision Method for Elementary Algebra and Geometry
1998 · Alfred Tarski · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 1,644
The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
1990 · Bruno Courcelle · Information and Computation · 1,450
PDF
On the synthesis of a reactive module
1989 · A. Pnueli, R. Rosner · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 1,447
PDF
Modal Logic
1980 · Brian F. Chellas · Cambridge University Press eBooks · 1,423
Formal Languages and Their Relation to Automata
1969 · John E. Hopcroft, Jeffrey D. Ullman · CERN Document Server (European Organization for Nuclear Research) · 1,360
Recursively Enumerable Sets and Degrees
1987 · Robert I. Soare · Perspectives in mathematical logic · 1,339
On a Decision Method in Restricted Second Order Arithmetic
1990 · J. Richard Büchi · Springer eBooks · 1,271
Decidability of second-order theories and automata on infinite trees.
1969 · Michael O. Rabin · Transactions of the American Mathematical Society · 1,185
PDF
Algorithms in Real Algebraic Geometry
2003 · Saugata Basu, Richard Pollack, et al. · Algorithms and computation in mathematics · 1,120
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
1993 · Rajeev Alur, Costas Courcoubetis, et al. · Lecture notes in computer science · 1,110
Automata on Infinite Objects
1990 · Wolfgang THOMAS · Elsevier eBooks · 1,084
Protection in operating systems
1976 · Michael A. Harrison, Walter L. Ruzzo, et al. · Communications of the ACM · 1,052
PDF
The undecidability of the domino problem
1966 · Robert Berger · Memoirs of the American Mathematical Society · 966
Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
2001 · Ian Hodkinson, Frank Wolter, et al. · Lecture notes in computer science · 961
Non-monotonic logic I
1980 · Drew McDermott, Jon Doyle · Artificial Intelligence · 912
Model-Checking in Dense Real-Time
1993 · R. Alur, C. Courcoubetis, et al. · Information and Computation · 847
The even more irresistible SROIQ
2006 · Ian Horrocks, Oliver Kutz, et al. · 845
Works count: 22,290
Citation count: 310,400
Year
Topic
Type