Non-E-overlapping, weakly shallow, and non-collapsing TRSs are confluent

DOI10.1007/978-3-319-21401-6_7MaRDI QIDQ3454085zbMATH OpenOpenAlexFDO

Authors Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa

Publication date 2 December 2015

Published in Automated Deduction - CADE-25 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-21401-6_7

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Shallow confluence of conditional term rewriting systems
• scientific article; zbMATH DE number 1962804
• Term Rewriting and Applications
• Computer Science Logic
• Classes of term rewrite systems with polynomial confluence problems

Cites work

• scientific article; zbMATH DE number 4106267 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• A fully syntactic AC-RPO.
• A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
• Computer Science Logic
• Confluence by critical pair analysis
• Confluence of non-left-linear TRSs via relative termination
• Confluence without termination via parallel critical pairs
• Development closed critical pairs
• Differential dynamic logic for hybrid systems
• On the complexity of integer programming
• Simple second-order languages for which unification is undecidable
• Syntacticness, cycle-syntacticness and shallow theories
• The Confluence Problem for Flat TRSs
• Tree-Manipulating Systems and Church-Rosser Theorems
• Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent

Cited in

(1)

• Conditions for confluence of innermost terminating term rewriting systems

This page was built for publication: Non-\(E\)-overlapping, weakly shallow, and non-collapsing TRSs are confluent

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