Semantic Equivalence

Semantic Equivalence is a formal criterion in equivalence checking that denotes the condition wherein two systems or expressions, despite potential syntactic differences, exhibit identical behavior or meaning under all possible interpretations or inputs within a given semantic framework.

231

Publications

13.4K

Citations

629

Authors

331

Institutions

Publications per year

2017–2026

45

Authors

629

  1. JC
    Júlio C. de Rose

    Universidade Federal de São Carlos, Brazil

    4 publications · 175 citations

    4

    h-index

  2. MD
    Mona Diab

    Columbia University, United States

    4 publications · 1.1K citations

    4

    h-index

  3. DC
    Daniel Cer

    Google (United States), United States

    3 publications · 1.1K citations

    3

    h-index

  4. AG
    Aitor González-Agirre

    University of the Basque Country, Spain

    3 publications · 1.1K citations

    3

    h-index

  5. SW
    Stefan Woltran

    TU Wien, Austria

    3 publications · 204 citations

    3

    h-index

1–5 of 629

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 105 citations

    4

    h-index

  2. PubMed

    Repository · 4 publications · 150 citations

    4

    h-index

  3. Bilingualism Language and Cognition

    BLC · 3 publications · 637 citations

    3

    h-index

  4. arXiv (Cornell University)

    Repository · 3 publications · 111 citations

    3

    h-index

  5. Trends in Psychiatry and Psychotherapy

    3 publications · 61 citations

    3

    h-index

1–5