Modularity of confluence: A simplified proof
type: Item
instance of: scholarly article
title: Modularity of confluence: A simplified proof
zbMATH Open document ID: 0795.68111
DOI: 10.1016/0020-0190(94)90034-5
author: Jan Willem Klop
author: Aart Middeldorp
author: Yoshihito Toyama
author: Roel de Vrijer
published in: Information Processing Letters
publication date: 1994-04-04T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 540913
zbMATH Keywords: modularity
zbMATH Keywords: confluence
zbMATH Keywords: term rewriting
MaRDI profile type: Publication
full work available at URL: 0020-0190(94)90034-5
OpenAlex ID: W2045722392
cites work: Polymorphic rewriting conserves algebraic strong normalization
cites work: Polymorphic rewriting conserves algebraic confluence
cites work: Q4385532
cites work: Proving termination with multiset orderings
cites work: Q4023825
cites work: On the Church-Rosser property for the direct sum of term rewriting systems
Recommended article: Q4737123
Recommended article: Modularity of Confluence
Recommended article: From diagrammatic confluence to modularity
Recommended article: Approximate modularity revisited
Recommended article: Approximate Modularity Revisited
Recommended article: Modular flow as a disentangler
Recommended article: Modularity of completeness revisited
Recommended article: Confluence theory for graphs
description: scientific article; zbMATH DE number 540913