Bubbles in modularity
type: Item
instance of: scholarly article
title: Bubbles in modularity
zbMATH Open document ID: 0895.68077
DOI: 10.1016/S0304-3975(97)00144-8
author: Massimo Marchiori
published in: Theoretical Computer Science
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1189647
zbMATH Keywords: term rewriting system
zbMATH Keywords: left-linearity
zbMATH Keywords: modularity
zbMATH Keywords: verification
zbMATH Keywords: neatening
zbMATH Keywords: bubbles
MaRDI profile type: Publication
cites work: Q4385532
cites work: Open problems in rewriting
cites work: Generalized sufficient conditions for modular termination of rewriting
cites work: Q4023825
cites work: Modularity of confluence: A simplified proof
cites work: Q3690194
cites work: Modularity of completeness revisited
cites work: The theory of vaccines
cites work: On the modularity of normal forms in rewriting
cites work: Q3204048
cites work: Modular properties of conditional term rewriting systems
cites work: Modular properties of composable term rewriting systems
cites work: On the modularity of termination of term rewriting systems
cites work: On termination of the direct sum of term-rewriting systems
cites work: Modular termination of \(r\)-consistent and left-linear term rewriting systems
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
full work available at URL: s0304-3975(97)00144-8
OpenAlex ID: W2034368631
description: scientific article; zbMATH DE number 1189647