Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent

DOI10.1016/J.IPL.2010.06.015MaRDI QIDQ407556zbMATH OpenOpenAlexFDO

Authors Masahiko Sakai, Mizuhito Ogawa

Publication date 27 March 2012

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2010.06.015

zbMATH Keywords

formal languagesconfluenceterm rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites work

• scientific article; zbMATH DE number 4106267 (Why is no real title available?)
• scientific article; zbMATH DE number 1380902 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
• Computer Science Logic
• Confluence without termination via parallel critical pairs
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Development closed critical pairs
• The Confluence Problem for Flat TRSs
• Tree-Manipulating Systems and Church-Rosser Theorems
• Undecidable properties on length-two string rewriting systems

Cited in

(1)

• Non-\(E\)-overlapping, weakly shallow, and non-collapsing TRSs are confluent

This page was built for publication: Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent

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