Concepedia

Equational Reasoning

Equational Reasoning is a formal method of logical inference in automated reasoning and theorem proving that relies on the substitution of equal terms according to provable or assumed equations within a functional programming context, distinguished by its foundation on the principle that equals can be replaced by equals in any context without altering the program's semantics.

252

Publications

15.9K

Citations

396

Authors

185

Institutions

Publications per year

2017–2026

30

Parents

Publications

252

On the logic of theory change: Partial meet contraction and revision functions

Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · Journal of Symbolic Logic · 1985 · 3.2K citations

, , +6

Scaling step-wise refinement

Don Batory, Jacob Neal Sarvela, Axel Rauschmayer · IEEE Transactions on Software Engineering · 2004 · 696 citations

, , +16

A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events

Dexter Kozen · Information and Computation · 1994 · 632 citations · Full text

, , +13

Programming real-time applications with SIGNAL

P. LeGuernic, Thierry Gautier, Michel Le Borgne et al. · Proceedings of the IEEE · 1991 · 538 citations · Full text

, , +17

Kleene algebra with tests

Dexter Kozen · ACM Transactions on Programming Languages and Systems · 1997 · 522 citations · Full text

, , +13

1–5 of 252

Authors

396

  1. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    11 publications · 722 citations

    11

    h-index

  2. DK
    Dexter Kozen

    Cornell University, United States

    7 publications · 1.5K citations

    7

    h-index

  3. ND
    Nachum Dershowitz

    University of Illinois Urbana-Champaign, United States

    7 publications · 388 citations

    7

    h-index

  4. RH
    Ralf Hinze

    University of Bonn, Germany

    6 publications · 190 citations

    6

    h-index

  5. GP
    Gordon Plotkin

    University of Edinburgh, United Kingdom

    5 publications · 312 citations

    5

    h-index

1–5 of 396

Institutions

185

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    12 h-index

    18 publications

    514 citations

  2. University of Oxford

    Oxford, United Kingdom

    12 h-index

    24 publications

    1.5K citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    11 h-index

    16 publications

    917 citations

  4. Cornell University

    Ithaca, United States

    10 h-index

    13 publications

    1.7K citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    10 h-index

    12 publications

    625 citations

  6. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    9 h-index

    9 publications

    167 citations

  7. Universidad Complutense de Madrid

    Madrid, Spain

    7 h-index

    16 publications

    313 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    5 h-index

    7 publications

    238 citations

1–8 of 185

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 13 publications · 670 citations

    11

    h-index

  2. Journal of Functional Programming

    12 publications · 295 citations

    11

    h-index

  3. Mathematical Structures in Computer Science

    MSCS · 9 publications · 282 citations

    9

    h-index

  4. Theoretical Computer Science

    7 publications · 777 citations

    7

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 8 publications · 292 citations

    7

    h-index

1–5