Modularity of completeness revisited

DOI10.1007/3-540-59200-8_43OpenAlexW1553326394MaRDI QIDQ5055813FDOQ5055813

Authors: Massimo Marchiori 

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59200-8_43

Recommendations

• Termination for direct sums of left-linear complete term rewriting systems
• Modular Church-Rosser Modulo
• Completeness of combinations of constructor systems
• On the modularity of normal forms in rewriting
• scientific article; zbMATH DE number 1088278

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• On the Church-Rosser property for the direct sum of term rewriting systems
• Termination for direct sums of left-linear complete term rewriting systems
• Termination for the direct sum of left-linear term rewriting systems

Cited In (13)

• The theory of vaccines
• Modularity in term rewriting revisited
• On the completeness of modular proof systems
• Modularity of confluence: A simplified proof
• On the specification of visual languages: multisets as first-class citizens
• Modular proofs for completeness of hierarchical term rewriting systems
• Understanding PPA-completeness
• Understanding PPA-completeness
• Bubbles in modularity
• Title not available (Why is that?)
• Fine-grained concurrent completion
• Title not available (Why is that?)
• Modular termination of \(r\)-consistent and left-linear term rewriting systems

This page was built for publication: Modularity of completeness revisited

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