Modular term rewriting systems and the termination

DOI10.1016/0020-0190(90)90221-IMaRDI QIDQ910207zbMATH OpenOpenAlexFDO

Authors Masahito Kurihara, Ikuo Kaji

Publication date 1990

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(90)90221-i

zbMATH Keywords

modularityterm rewriting systemstermination

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the modularity of termination of term rewriting systems
• Modular termination of \(r\)-consistent and left-linear term rewriting systems
• Modular and incremental automated termination proofs
• Generalized sufficient conditions for modular termination of rewriting
• Modularity in term rewriting revisited

Cites work

• scientific article; zbMATH DE number 4180808 (Why is no real title available?)
• scientific article; zbMATH DE number 4037157 (Why is no real title available?)
• Counterexamples to termination for the direct sum of term rewriting systems
• Modular aspects of properties of term rewriting systems related to normal forms
• On termination of the direct sum of term-rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems
• Simplification by Cooperating Decision Procedures
• Termination for direct sums of left-linear complete term rewriting systems
• Termination of rewriting

Cited in

(16)

• Term Rewriting and Applications
• On modularity in infinitary term rewriting
• Modularity of simple termination of term rewriting systems with shared constructors
• scientific article; zbMATH DE number 7566074 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Rewriting modulo SMT and open system analysis
• Completeness of combinations of constructor systems
• Murg term rewrite systems
• On modularity in term rewriting and narrowing
• Modular proofs for completeness of hierarchical term rewriting systems
• Modular properties of conditional term rewriting systems
• Modularity in term rewriting revisited
• Generalized sufficient conditions for modular termination of rewriting
• Confluence of the disjoint union of conditional term rewriting systems
• Termination Modulo Combinations of Equational Theories
• Modular and incremental automated termination proofs

This page was built for publication: Modular term rewriting systems and the termination

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