Termination for the direct sum of left-linear term rewriting systems

DOI10.1007/3-540-51081-8_127zbMath1503.68161OpenAlexW1486980090MaRDI QIDQ5055740

Jan Willem Klop, Yoshihito Toyama, Hendrik Pieter Barendregt

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-51081-8_127

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (11)

Sufficient conditions for modular termination of conditional term rewriting systems ⋮ Confluence of the disjoint union of conditional term rewriting systems ⋮ Implementing term rewriting by graph reduction: Termination of combined systems ⋮ Adding algebraic rewriting to the untyped lambda calculus (extended abstract) ⋮ More problems in rewriting ⋮ Modularity of completeness revisited ⋮ On proving termination by innermost termination ⋮ Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems ⋮ Completeness of combinations of conditional constructor systems ⋮ Adding algebraic rewriting to the untyped lambda calculus ⋮ Completeness of combinations of constructor systems

Cites Work

• Counterexamples to termination for the direct sum of term rewriting systems
• On termination of the direct sum of term-rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Termination for the direct sum of left-linear term rewriting systems