Decreasing diagrams with two labels are complete for confluence of countable systems

DOI10.4230/LIPICS.FSCD.2018.14MaRDI QIDQ4993340zbMATH OpenOpenAlexFDO

Authors Jörg Endrullis, Jan Willem Klop, Roy Overbeek

Publication date 15 June 2021

Full work available at URL https://ir.cwi.nl/pub/27878/27878.pdf

zbMATH Keywords

confluencedecreasing diagramsweak diamond property

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Recommendations

• Labelings for Decreasing Diagrams.
• Labelings for decreasing diagrams
• Decreasing diagrams and relative termination
• Confluence by Decreasing Diagrams
• Decreasing diagrams and relative termination

Cites work

• An introduction to Kolmogorov complexity and its applications
• Confluence by decreasing diagrams
• Confluence by Decreasing Diagrams
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• De Bruijn's weak diamond property revisited
• Degrees of Infinite Words, Polynomials and Atoms
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 3387326 (Why is no real title available?)
• Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and -calculus
• Levels of undecidability in rewriting
• On theories with a combinatorial definition of 'equivalence'
• The first-order theory of one-step rewriting is undecidable
• The termination hierarchy for term rewriting
• Tree-Manipulating Systems and Church-Rosser Theorems

Cited in

(6)

• Diagram techniques for confluence
• Transducer degrees: atoms, infima and suprema
• Confluence by critical pair analysis revisited
• Braids via term rewriting
• scientific article; zbMATH DE number 7379291 (Why is no real title available?)
• Decreasing diagrams for confluence and commutation

This page was built for publication: Decreasing diagrams with two labels are complete for confluence of countable systems

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