Concepedia

Syntactic Equivalence

Syntactic Equivalence is a formal method in equivalence checking that establishes identity between two constructs based on their structural form rather than their meaning, distinguishing it from semantic or behavioral equivalence by relying solely on the congruence of syntax trees or syntactic representations.

112

Publications

7.4K

Citations

211

Authors

124

Institutions

Publications per year

2017–2026

13

Parents

Publications

112

General Theory of Natural Equivalences

Samuel Eilenberg, Saunders MacLane · Transactions of the American Mathematical Society · 1945 · 569 citations · Full text

, , +8

There is only one way to agree

Hedde Zeijlstra · The Linguistic Review · 2012 · 441 citations

, , +12

An Event Structure Account of English Resultatives

Malka Rappaport Hovav, Beth Levin · Language · 2001 · 428 citations

, , +16

The concept of a supercompiler

Valentin F. Turchin · ACM Transactions on Programming Languages and Systems · 1986 · 367 citations · Full text

, , +10

General theory of natural equivalences

Samuel Eilenberg, Saunders MacLane · Transactions of the American Mathematical Society · 1945 · 363 citations · Full text

, , +8

1–5 of 112

Authors

211

  1. GT
    G. Thierrin

    Western University, Canada

    4 publications · 61 citations

    4

    h-index

  2. OM
    Oded Maler

    Verimag, France

    2 publications · 74 citations

    2

    h-index

  3. SE
    Samuel Eilenberg

    Columbia University, United States

    2 publications · 932 citations

    2

    h-index

  4. LS
    Ludwig Staiger

    Martin Luther University Halle-Wittenberg, Germany

    2 publications · 74 citations

    2

    h-index

  5. GS
    Géraud Sénizergues

    Université de Bordeaux, France

    2 publications · 48 citations

    2

    h-index

1–5 of 211

Institutions

124

  1. Western University

    London, Canada

    4 h-index

    7 publications

    109 citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    4 publications

    118 citations

  3. University of Cambridge

    Cambridge, United Kingdom

    3 h-index

    4 publications

    86 citations

  4. Stanford University

    Stanford, United States

    3 h-index

    5 publications

    335 citations

  5. Utrecht University

    Utrecht, The Netherlands

    3 h-index

    3 publications

    69 citations

  6. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    4 publications

    105 citations

  7. TU Wien

    Vienna, Austria

    2 h-index

    4 publications

    302 citations

  8. University of Pittsburgh

    Pittsburgh, United States

    2 h-index

    4 publications

    623 citations

1–8 of 124

Venues

  1. Theoretical Computer Science

    7 publications · 213 citations

    7

    h-index

  2. Social Networks

    4 publications · 543 citations

    4

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 84 citations

    3

    h-index

  4. Journal of Computer and System Sciences

    3 publications · 105 citations

    3

    h-index

  5. Theory and Practice of Logic Programming

    3 publications · 267 citations

    3

    h-index

1–5