Conditions for confluence of innermost terminating term rewriting systems
From MaRDI portal
Publication:2321950
DOI10.1007/S00200-018-0377-8zbMATH Open1429.68088OpenAlexW2907092888WikidataQ128639527 ScholiaQ128639527MaRDI QIDQ2321950FDOQ2321950
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
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
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Confluence Problem for Flat TRSs
- Proving Confluence of Term Rewriting Systems Automatically
- CSI -- a confluence tool
- Title not available (Why is that?)
- Title not available (Why is that?)
- Term-rewriting systems with rule priorities
- Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent
Cited In (6)
- Title not available (Why is that?)
- 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
Uses Software
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)
