Concepedia

Rewrite Systems

Rewrite Systems is a formal framework within theorem proving that consists of a set of directed rules for replacing subterms in expressions, distinguished by its foundation in term rewriting logic to systematically simplify or normalize terms toward provable equivalence.

926

Publications

40.3K

Citations

1.4K

Authors

506

Institutions

Publications per year

2017–2026

81

Parents

Publications

926

raxmlGUI 2.0: A graphical interface and toolkit for phylogenetic analyses using RAxML

Daniel Edler, Johannes Klein, Alexandre Antonelli et al. · Methods in Ecology and Evolution · 2020 · 1.1K citations · Full text

, , +15

Term rewriting systems

Jan Willem Klop · Data Archiving and Networked Services (DANS) · 1990 · 783 citations

, , +14

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 772 citations · Full text

, , +7

Software Update: The <scp>ORCA</scp> Program System—Version 6.0

Frank Neese · Wiley Interdisciplinary Reviews Computational Molecular Science · 2025 · 649 citations · Full text

, , +10

The end of an architectural era: (it's time for a complete rewrite)

Michael Stonebraker, Samuel Madden, Daniel J. Abadi et al. · Very Large Data Bases · 2007 · 578 citations

, , +15

1–5 of 926

Authors

1.4K

  1. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    43 publications · 3.2K citations

    29

    h-index

  2. CK
    Claude Kirchner

    Institut national de recherche en sciences et technologies du numérique, France

    18 publications · 734 citations

    13

    h-index

  3. ND
    Nachum Dershowitz

    University of Illinois Urbana-Champaign, United States

    11 publications · 378 citations

    11

    h-index

  4. AM
    Aart Middeldorp

    University of Tsukuba, Japan

    14 publications · 373 citations

    11

    h-index

  5. HC
    Horatiu Cirstea

    Laboratoire Lorrain de Recherche en Informatique et ses Applications, France

    11 publications · 321 citations

    11

    h-index

1–5 of 1.4K

Institutions

506

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    29 h-index

    72 publications

    3.7K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    26 h-index

    83 publications

    3.6K citations

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

    Le Chesnay-Rocquencourt, France

    26 h-index

    95 publications

    3.4K citations

  4. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    19 h-index

    57 publications

    2K citations

  5. SRI International

    Menlo Park, United States

    17 h-index

    38 publications

    4.6K citations

  6. Utrecht University

    Utrecht, The Netherlands

    17 h-index

    28 publications

    1.5K citations

  7. University of Oxford

    Oxford, United Kingdom

    16 h-index

    40 publications

    2.6K citations

  8. Universitat Politècnica de València

    Valencia, Spain

    15 h-index

    35 publications

    847 citations

1–8 of 506

Venues

  1. Theoretical Computer Science

    64 publications · 3.9K citations

    33

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 103 publications · 3K citations

    30

    h-index

  3. Information and Computation

    20 publications · 850 citations

    17

    h-index

  4. Journal of Symbolic Computation

    18 publications · 718 citations

    15

    h-index

  5. Mathematical Structures in Computer Science

    MSCS · 15 publications · 645 citations

    14

    h-index

1–5