On the modularity of normal forms in rewriting

DOI10.1006/JSCO.1996.0045MaRDI QIDQ674762zbMATH OpenOpenAlexFDO

Authors Massimo Marchiori

Publication date 30 June 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1996.0045

zbMATH Keywords

term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Modular aspects of properties of term rewriting systems related to normal forms
• On modularity in term rewriting and narrowing
• Modular properties of conditional term rewriting systems
• On modularity in infinitary term rewriting

Cited in

(14)

• Bubbles in modularity
• Congruential complements of ground term rewrite systems
• Modularity in term rewriting revisited
• Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems
• On modularity in infinitary term rewriting
• scientific article; zbMATH DE number 1722703 (Why is no real title available?)
• Unique normal form property of higher-order rewriting systems
• scientific article; zbMATH DE number 1301091 (Why is no real title available?)
• Deciding confluence and normal form properties of ground term rewrite systems efficiently
• Modular aspects of properties of term rewriting systems related to normal forms
• Modularity of completeness revisited
• On modularity in term rewriting and narrowing
• Non--overlapping TRSs are UN
• Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem

This page was built for publication: On the modularity of normal forms in rewriting

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