Modular termination of \(r\)-consistent and left-linear term rewriting systems
type: Item
instance of: scholarly article
title: Modular termination of \(r\)-consistent and left-linear term rewriting systems
zbMATH Open document ID: 0874.68159
DOI: 10.1016/0304-3975(95)00080-G
author: Massimo Marchiori
author: Sven Eric Panitz
author: Manfred Schmidt-Schauß
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 985149
zbMATH Keywords: term rewriting systems
MaRDI profile type: Publication
cites work: Q3783521
cites work: Termination of rewriting
cites work: Q4385532
cites work: Q4692463
cites work: Q4255514
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Q4023825
cites work: Q3994202
cites work: Modularity of completeness revisited
cites work: Q3204048
cites work: Modular properties of conditional term rewriting systems
cites work: Completeness of combinations of constructor systems
cites work: Modular properties of composable term rewriting systems
cites work: Input-Termination of Logic Programs
cites work: On termination of the direct sum of term-rewriting systems
cites work: Unification in a combination of arbitrary disjoint equational theories
cites work: Counterexamples to termination for the direct sum of term rewriting systems
cites work: On the Church-Rosser property for the direct sum of term rewriting systems
cites work: Termination for direct sums of left-linear complete term rewriting systems
description: scientific article; zbMATH DE number 985149