A Model of Computation is an abstract formal system that specifies the set of operations and rules by which computational processes are carried out, distinguishing itself from other formal systems by characterizing the mechanistic means through which inputs are transformed into outputs according to well-defined procedural constraints.
507
Publications
31.3K
Citations
1K
Authors
456
Institutions
Publications per year
2017–2026
73
Parents
Publications
507
Introduction to the Theory of Computation
Michael Sipser · ACM SIGACT News · 1996 · 2.8K citations
Gérard Berry, Gérard Boudol · Theoretical Computer Science · 1992 · 817 citations
Robert Kowalski · Communications of the ACM · 1979 · 602 citations · Full text
1–5 of 507
Authors
1K
- GD
6
h-index
- AL
4
h-index
- NY
4
h-index
- EA
4
h-index
- FT
3
h-index
1–5 of 1K
Institutions
456
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
11 h-index
15 publications
1.5K citations
Centre National de la Recherche Scientifique
Paris, France
11 h-index
21 publications
896 citations
University of California, Berkeley
Berkeley, United States
8 h-index
18 publications
648 citations
University of Edinburgh
Edinburgh, United Kingdom
8 h-index
8 publications
486 citations
University of Oxford
Oxford, United Kingdom
7 h-index
7 publications
464 citations
Stony Brook University
Stony Brook, United States
6 h-index
15 publications
447 citations
Carnegie Mellon University
Pittsburgh, United States
6 h-index
12 publications
372 citations
University of Maryland, College Park
College Park, United States
6 h-index
8 publications
703 citations
1–8 of 456
Venues
- Theoretical Computer Science
19 publications · 1.8K citations
17
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 11 publications · 177 citations
10
h-index
- Minds and Machines
8 publications · 471 citations
8
h-index
- Synthese
7 publications · 417 citations
7
h-index
- Fundamenta Informaticae
7 publications · 115 citations
7
h-index
1–5