Modularity of simple termination of term rewriting systems with shared constructors
type: Item
instance of: scholarly article
title: Modularity of simple termination of term rewriting systems with shared constructors
zbMATH Open document ID: 0753.68053
DOI: 10.1016/0304-3975(92)90015-8
author: Masahito Kurihara
author: Azuma Ohuchi
published in: Theoretical Computer Science
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 94461
zbMATH Keywords: modularity
zbMATH Keywords: termination
MaRDI profile type: Publication
full work available at URL: 0304-3975(92)90015-8
OpenAlex ID: W2004551119
cites work: Q3783521
cites work: Q3917482
cites work: Orderings for term-rewriting systems
cites work: Q4385532
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Q3805891
cites work: Modular term rewriting systems and the termination
cites work: Modular aspects of properties of term rewriting systems related to normal forms
cites work: Q3204048
cites work: Completeness of combinations of constructor systems
cites work: Q3783524
cites work: On termination of the direct sum of term-rewriting systems
cites work: On the Church-Rosser property for the direct sum of term rewriting systems
cites work: Counterexamples to termination 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 94461