On the modularity of confluence of constructor-sharing term rewriting systems

DOI10.1007/BFB0017487MaRDI QIDQ4954455zbMATH OpenFDO

Authors Enno Ohlebusch

Publication date 7 June 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0017487

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Modularity of Confluence
• On the modularity of termination of term rewriting systems
• Completeness of combinations of constructor systems
• Modular Church-Rosser Modulo

Cited in

(17)

• On the modularity of termination of term rewriting systems
• Modular proofs for completeness of hierarchical term rewriting systems
• Simple termination of rewrite systems
• A uniform framework for term and graph rewriting applied to combined systems
• Layer systems for confluence -- formalized
• Modularity in term rewriting revisited
• From diagrammatic confluence to modularity
• Completeness of combinations of constructor systems
• Layer systems for proving confluence
• Modular Church-Rosser Modulo
• Problems in rewriting III
• Compositional term rewriting: An algebraic proof of Toyama's theorem
• Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
• Proving confluence in the confluence framework with confident
• On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
• Modularity in noncopying term rewriting
• Termination is not modular for confluent variable-preserving term rewriting systems

This page was built for publication: On the modularity of confluence of constructor-sharing term rewriting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4954455)