Concepedia

Computational Equivalence

Computational Equivalence is the thesis that any two computational models are capable of simulating each other if they can both emulate a universal Turing machine, thereby exhibiting the same class of computable functions.

76

Publications

4.5K

Citations

121

Authors

78

Institutions

Publications per year

2017–2026

7

Parents

Publications

76

An algebraic definition of simulation between programs

Robin Milner · Defense Technical Information Center (DTIC) · 1971 · 533 citations

, , +11

Motor imagery involves predicting the sensory consequences of the imagined movement

Konstantina Kilteni, Benjamin Jan Andersson, Christian Houborg et al. · Nature Communications · 2018 · 303 citations · Full text

, , +15

Two-Tape Simulation of Multitape Turing Machines

F. C. Hennie, Richard E. Stearns · Journal of the ACM · 1966 · 287 citations · Full text

, , +8

Storage Modification Machines

Arnold Schönhage · SIAM Journal on Computing · 1980 · 238 citations

, , +11

The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

Christopher P. Wadsworth · SIAM Journal on Computing · 1976 · 232 citations

, , +15

1–5 of 76

Authors

121

  1. SH
    Stevan Harnad

    University of Southampton, United Kingdom

    4 publications · 114 citations

    4

    h-index

  2. SS
    Sartaj Sahni

    University of Florida, United States

    2 publications · 52 citations

    2

    h-index

  3. MB
    Mark Bickford

    Cornell University, United States

    2 publications · 28 citations

    2

    h-index

  4. VR
    Vincent Rahli

    Cornell University, United States

    2 publications · 28 citations

    2

    h-index

  5. FH
    Fritz Henglein

    University of Copenhagen, Denmark

    2 publications · 32 citations

    2

    h-index

1–5 of 121

Institutions

78

  1. Stanford University

    Stanford, United States

    4 h-index

    8 publications

    1.3K citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    4 publications

    433 citations

  3. University of Luxembourg

    Luxembourg, Luxembourg

    3 h-index

    4 publications

    51 citations

  4. Technion – Israel Institute of Technology

    Haifa, Israel

    3 h-index

    4 publications

    270 citations

  5. Microsoft (United States)

    Redmond, United States

    3 h-index

    3 publications

    109 citations

  6. Cornell University

    Ithaca, United States

    3 h-index

    4 publications

    57 citations

  7. University of Bristol

    Bristol, United Kingdom

    3 h-index

    3 publications

    138 citations

  8. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    3 publications

    102 citations

1–8 of 78

Venues

  1. Mathematical Structures in Computer Science

    MSCS · 5 publications · 122 citations

    5

    h-index

  2. SIAM Journal on Computing

    3 publications · 490 citations

    3

    h-index

  3. Theoretical Computer Science

    3 publications · 68 citations

    3

    h-index

  4. Journal of the ACM

    JACM · 3 publications · 536 citations

    3

    h-index

  5. Artificial Life

    2 publications · 49 citations

    2

    h-index

1–5