Modularity of completeness revisited

DOI10.1007/3-540-59200-8_43MaRDI QIDQ5055813zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

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)

• scientific article; zbMATH DE number 1408433 (Why is no real title available?)
• Modularity in term rewriting revisited
• The theory of vaccines
• 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
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)
• Fine-grained concurrent completion
• 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)