Concepedia

Rewrite System Termination

Rewrite System Termination is a formal property of rewrite systems in theoretical computer science and mathematical logic, signifying the absence of infinite reduction sequences and thus ensuring that every rewriting process eventually halts.

98

Publications

3.8K

Citations

136

Authors

83

Institutions

Publications per year

2017–2026

1

Variants

Termination Of Rewrite Systems

Parents

Publications

98

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text

, , +12

Termination of logic programs: the never-ending story

Danny De Schreye, Stefaan Decorte · The Journal of Logic Programming · 1994 · 208 citations · Full text

, , +13

TERMINATION OF TERM REWRITING BY SEMANTIC LABELLING

Hans Zantema · Fundamenta Informaticae · 1995 · 153 citations · Full text

, , +7

Computer experiments with the <i>REVE</i> term rewriting system generator

Pierre Lescanne · 1983 · 126 citations

, , +14

Termination proofs by multiset path orderings imply primitive recursive derivation lengths

Dieter Hofbauer · Theoretical Computer Science · 1992 · 91 citations

, , +13

1–5 of 98

Authors

136

  1. SL
    Salvador Lucas

    Universitat Politècnica de València, Spain

    13 publications · 315 citations

    13

    h-index

  2. JG
    Jürgen Giesl

    RWTH Aachen University, Germany

    5 publications · 282 citations

    5

    h-index

  3. AM
    Aart Middeldorp

    University of Tsukuba, Japan

    5 publications · 201 citations

    5

    h-index

  4. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    5 publications · 98 citations

    5

    h-index

  5. MS
    Masahiko Sakai

    Kyoto University, Japan

    4 publications · 88 citations

    4

    h-index

1–5 of 136

Institutions

83

  1. Universitat Politècnica de València

    Valencia, Spain

    13 h-index

    18 publications

    420 citations

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

    Le Chesnay-Rocquencourt, France

    11 h-index

    12 publications

    236 citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    9 h-index

    11 publications

    408 citations

  4. Universität Innsbruck

    Innsbruck, Austria

    6 h-index

    9 publications

    228 citations

  5. RWTH Aachen University

    Aachen, Germany

    6 h-index

    11 publications

    560 citations

  6. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    5 h-index

    7 publications

    145 citations

  7. University of Kaiserslautern

    Kaiserslautern, Germany

    5 h-index

    5 publications

    222 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    7 publications

    120 citations

1–8 of 83

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 14 publications · 287 citations

    13

    h-index

  2. Theoretical Computer Science

    9 publications · 333 citations

    9

    h-index

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

    Repository · 7 publications · 184 citations

    7

    h-index

  4. Fundamenta Informaticae

    4 publications · 356 citations

    4

    h-index

  5. 4

    h-index

1–5