On the modularity of termination of term rewriting systems
type: Item
instance of: scholarly article
title: On the modularity of termination of term rewriting systems
zbMATH Open document ID: 0874.68154
DOI: 10.1016/0304-3975(94)00039-L
author: Enno Ohlebusch
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 983735
MaRDI profile type: Publication
cites work: A note on simplification orderings
cites work: Q3703288
cites work: Q4385532
cites work: Proving termination with multiset orderings
cites work: Q4692463
cites work: What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
cites work: Generalized sufficient conditions for modular termination of rewriting
cites work: Sufficient conditions for modular termination of conditional term rewriting systems
cites work: Q4023825
cites work: Q4268467
cites work: Q4490728
cites work: Modularity of simple termination of term rewriting systems with shared constructors
cites work: Q3204048
cites work: Modular properties of conditional term rewriting systems
cites work: Simple termination is difficult
cites work: Completeness of combinations of constructor systems
cites work: Q4431370
cites work: Combinations of simplifying conditional term rewriting systems
cites work: Termination is not modular for confluent variable-preserving term rewriting systems
cites work: Q4954455
cites work: On termination of the direct sum of term-rewriting systems
cites work: Extensions and comparison of simplification orderings
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
cites work: Termination of term rewriting by interpretation
full work available at URL: 0304-3975(94)00039-l
OpenAlex ID: W2031948276
description: scientific article; zbMATH DE number 983735