Concepedia

Term Rewriting Systems

Term Rewriting Systems is a formal computational framework consisting of a set of directed equations, or rewrite rules, that specify how terms in a formal language can be systematically transformed by replacing subterms in accordance with the structure-preserving application of these rules.

421

Publications

19.3K

Citations

502

Authors

247

Institutions

Publications per year

2017–2026

17

Parents

Publications

421

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

, , +7

Term rewriting systems

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

, , +14

Orderings for term-rewriting systems

Nachum Dershowitz · Theoretical Computer Science · 1982 · 607 citations

, , +6

Termination of term rewriting using dependency pairs

Thomas Arts, Jürgen Giesl · Theoretical Computer Science · 2000 · 498 citations

, , +4

String-rewriting systems

Choice Reviews Online · 1993 · 465 citations

, , +9

1–5 of 421

Authors

502

  1. JW
    Jan Willem Klop

    University of Amsterdam, Netherlands

    14 publications · 1.5K citations

    12

    h-index

  2. AM
    Aart Middeldorp

    University of Tsukuba, Japan

    16 publications · 467 citations

    12

    h-index

  3. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    11 publications · 682 citations

    11

    h-index

  4. CK
    Claude Kirchner

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

    12 publications · 416 citations

    11

    h-index

  5. YT
    Yoshihito Toyama

    NTT (Japan), Japan

    10 publications · 484 citations

    10

    h-index

1–5 of 502

Institutions

247

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

    Le Chesnay-Rocquencourt, France

    19 h-index

    49 publications

    2.6K citations

  2. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    16 h-index

    34 publications

    1.2K citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    16 h-index

    28 publications

    2K citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    26 publications

    1.2K citations

  5. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    15 h-index

    33 publications

    2.3K citations

  6. Universität Innsbruck

    Innsbruck, Austria

    14 h-index

    34 publications

    745 citations

  7. Universitat Politècnica de València

    Valencia, Spain

    13 h-index

    24 publications

    798 citations

  8. Utrecht University

    Utrecht, The Netherlands

    13 h-index

    16 publications

    1.1K citations

1–8 of 247

Venues

  1. Theoretical Computer Science

    38 publications · 3.1K citations

    26

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 38 publications · 967 citations

    20

    h-index

  3. Information and Computation

    17 publications · 693 citations

    15

    h-index

  4. Journal of Symbolic Computation

    17 publications · 634 citations

    13

    h-index

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

    Repository · 15 publications · 271 citations

    12

    h-index

1–5