Conditions for confluence of innermost terminating term rewriting systems

DOI10.1007/S00200-018-0377-8MaRDI QIDQ2321950zbMATH OpenOpenAlexWikidataFDO

Authors Sayaka Ishizuki, Michio Oyamaguchi, Masahiko Sakai

Publication date 27 August 2019

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00200-018-0377-8

zbMATH Keywords

decidabilityconfluenceterm rewriting systemsinnermost termination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Confluence of terminating conditional rewrite systems revisited
• Confluence of the disjoint union of conditional term rewriting systems
• Some results on the confluence property of combined term rewriting systems
• scientific article; zbMATH DE number 4092756
• Confluence of nearly orthogonal infinitary term rewriting systems
• scientific article; zbMATH DE number 1722716
• Termination and confluence in infinitary term rewriting
• scientific article; zbMATH DE number 1615229
• Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system
• scientific article; zbMATH DE number 1761895

Cites work

• scientific article; zbMATH DE number 1729952 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 794237 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Analyzing program termination and complexity automatically with \textsf{AProVE}
• CSI -- a confluence tool
• Non-\(E\)-overlapping, weakly shallow, and non-collapsing TRSs are confluent
• Proving Confluence of Term Rewriting Systems Automatically
• Proving confluence of term rewriting systems via persistency and decreasing diagrams
• Term-rewriting systems with rule priorities
• The Confluence Problem for Flat TRSs

Cited in

(6)

• scientific article; zbMATH DE number 4090848 (Why is no real title available?)
• On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
• Confluence of terminating conditional rewrite systems revisited
• Confluence of the disjoint union of conditional term rewriting systems
• Innermost termination of rewrite systems by labeling
• Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system

Describes a project that uses

Uses Software

• Saigawa
• CSI
• AProVE

This page was built for publication: Conditions for confluence of innermost terminating term rewriting systems

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