From diagrammatic confluence to modularity
type: Item
instance of: scholarly article
title: From diagrammatic confluence to modularity
zbMATH Open document ID: 1253.68197
author: Jean-Pierre Jouannaud
author: Jiaxiang Liu
published in: Theoretical Computer Science
publication date: 2013-01-07T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6122464
zbMATH Keywords: rewriting modulo
zbMATH Keywords: confluence
zbMATH Keywords: local peaks
zbMATH Keywords: local cliffs
zbMATH Keywords: decreasing diagrams
zbMATH Keywords: cofinal derivations
zbMATH Keywords: modularity
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.08.030
OpenAlex ID: W2001532324
cites work: On theories with a combinatorial definition of 'equivalence'
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: On the Church-Rosser property for the direct sum of term rewriting systems
cites work: Modularity of confluence: A simplified proof
cites work: On the modularity of termination of term rewriting systems
cites work: Modular Church-Rosser Modulo
cites work: Modularity of Confluence
cites work: Confluence by decreasing diagrams
cites work: Confluence by Decreasing Diagrams
cites work: Q3918095
cites work: Diagrammatic Confluence and Completion
cites work: Q4385532
cites work: Q4799892
cites work: Abstract canonical inference
cites work: A reduction-preserving completion for proving confluence of non-terminating term rewriting systems
cites work: Q3939272
cites work: Q3028369
cites work: Proving refutational completeness of theorem-proving strategies
cites work: Complete Sets of Reductions for Some Equational Theories
cites work: Completion of a Set of Rules Modulo a Set of Equations
DOI: 10.1016/J.TCS.2012.08.030
description: scientific article; zbMATH DE number 6122464