Concepedia

Rewriting Systems

Rewriting Systems is a formal computational model consisting of a set of rules for transforming symbolic expressions, distinguished by its mechanistic application of substitution rules to rewrite terms in a deterministic or nondeterministic manner according to specified patterns.

858

Publications

33.8K

Citations

1.2K

Authors

489

Institutions

Publications per year

2017–2026

60

Parents

Publications

858

Orderings for term-rewriting systems

Nachum Dershowitz · Theoretical Computer Science · 1982 · 607 citations

, , +6

String-rewriting systems

Choice Reviews Online · 1993 · 465 citations

, , +9

Rewrite-based Equational Theorem Proving with Selection and Simplification

Leo Bachmair, Harald Ganzinger · Journal of Logic and Computation · 1994 · 404 citations · Full text

, , +10

Completion of a Set of Rules Modulo a Set of Equations

Jean-Pierre Jouannaud · SIAM Journal on Computing · 1986 · 376 citations

, , +5

Tree-Manipulating Systems and Church-Rosser Theorems

Barry K. Rosen · Journal of the ACM · 1973 · 352 citations · Full text

, , +13

1–5 of 858

Authors

1.2K

  1. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    37 publications · 2.1K citations

    24

    h-index

  2. CK
    Claude Kirchner

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

    17 publications · 722 citations

    13

    h-index

  3. SL
    Salvador Lucas

    Universitat Politècnica de València, Spain

    13 publications · 388 citations

    13

    h-index

  4. AM
    Aart Middeldorp

    University of Tsukuba, Japan

    16 publications · 467 citations

    12

    h-index

  5. JW
    Jan Willem Klop

    University of Amsterdam, Netherlands

    12 publications · 756 citations

    12

    h-index

1–5 of 1.2K

Institutions

489

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    29 h-index

    73 publications

    3.9K citations

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

    Le Chesnay-Rocquencourt, France

    27 h-index

    97 publications

    4K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    25 h-index

    77 publications

    3.4K citations

  4. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    17 h-index

    48 publications

    1.6K citations

  5. Utrecht University

    Utrecht, The Netherlands

    17 h-index

    25 publications

    1.2K citations

  6. University of Pisa

    Pisa, Italy

    16 h-index

    38 publications

    1K citations

  7. Universitat Politècnica de València

    Valencia, Spain

    16 h-index

    36 publications

    1.2K citations

  8. Universidad Complutense de Madrid

    Madrid, Spain

    15 h-index

    33 publications

    1.6K citations

1–8 of 489

Venues

  1. Theoretical Computer Science

    72 publications · 3.9K citations

    34

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 92 publications · 2.6K citations

    28

    h-index

  3. Information and Computation

    18 publications · 706 citations

    15

    h-index

  4. Journal of Symbolic Computation

    21 publications · 798 citations

    15

    h-index

  5. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 23 publications · 409 citations

    13

    h-index

1–5