On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
type: Item
instance of: scholarly article
title: On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
zbMATH Open document ID: 0872.68081
DOI: 10.1016/0304-3975(96)00042-4
author: Bernhard Gramlich
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 983342
MaRDI profile type: Publication
full work available at URL: 0304-3975(96)00042-4
OpenAlex ID: W2024508150
cites work: Conditional rewrite rules: Confluence and termination
cites work: Q4385532
cites work: Q3817653
cites work: Q3819993
cites work: Generalized sufficient conditions for modular termination of rewriting
cites work: Q4255514
cites work: Q4846997
cites work: Sufficient conditions for modular termination of conditional term rewriting systems
cites work: Q4537514
cites work: Conditional rewrite rules
cites work: Q4023825
cites work: Modularity of confluence: A simplified proof
cites work: Modularity of simple termination of term rewriting systems with shared constructors
cites work: Q4268467
cites work: Q4490728
cites work: Q3204048
cites work: Modular properties of conditional term rewriting systems
cites work: Completeness of combinations of conditional constructor systems
cites work: Completeness of combinations of constructor systems
cites work: Computing in systems described by equations
cites work: On the modularity of termination of term rewriting systems
cites work: Q4954455
cites work: Modular properties of composable term rewriting systems
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
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
Recommended article: Confluence of terminating conditional rewrite systems revisited
Recommended article: Q4537514
Recommended article: Confluence of the disjoint union of conditional term rewriting systems
Recommended article: Q4954455
Recommended article: Conditions for confluence of innermost terminating term rewriting systems
Recommended article: Q4846997
Recommended article: Some results on the confluence property of combined term rewriting systems
Recommended article: Simplifying conditional term rewriting systems: Unification, termination and confluence
Recommended article: Q2723890
Recommended article: Q3819991
description: scientific article; zbMATH DE number 983342