Modular term rewriting systems and the termination
From MaRDI portal
DOI10.1016/0020-0190(90)90221-IzbMATH Open0695.68028OpenAlexW2118530352MaRDI QIDQ910207FDOQ910207
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
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
- Simplification by Cooperating Decision Procedures
- Termination of rewriting
- Title not available (Why is that?)
- Counterexamples to termination for the direct sum of term rewriting systems
- On the Church-Rosser property for the direct sum of term rewriting systems
- Termination for direct sums of left-linear complete term rewriting systems
- On termination of the direct sum of term-rewriting systems
- Title not available (Why is that?)
- Modular aspects of properties of term rewriting systems related to normal forms
Cited In (16)
- Modularity in term rewriting revisited
- Modularity of simple termination of term rewriting systems with shared constructors
- Generalized sufficient conditions for modular termination of rewriting
- Modular proofs for completeness of hierarchical term rewriting systems
- Term Rewriting and Applications
- Completeness of combinations of constructor systems
- Title not available (Why is that?)
- Algebraic Methodology and Software Technology
- Modular and incremental automated termination proofs
- On modularity in infinitary term rewriting
- Termination Modulo Combinations of Equational Theories
- Rewriting modulo SMT and open system analysis
- Modular properties of conditional term rewriting systems
- Murg term rewrite systems
- On modularity in term rewriting and narrowing
- Confluence of the disjoint union of conditional term rewriting systems
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)
