Layer systems for proving confluence

DOI10.4230/LIPICS.FSTTCS.2011.288MaRDI QIDQ2911632zbMATH OpenFDO

Authors Bertram Felgenhauer, Harald Zankl, Aart Middeldorp

Publication date 31 August 2012

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2011.288

zbMATH Keywords

confluencemodularitypersistenceterm rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Layer systems for proving confluence
• Layer systems for confluence -- formalized
• Confluence of layered rewrite systems
• Modularity of Confluence
• Rewriting Techniques and Applications

Cited in

(6)

• Layer systems for confluence -- formalized
• Modularity in term rewriting revisited
• Labelings for decreasing diagrams
• Layer systems for proving confluence
• CSI -- a confluence tool
• Confluence of layered rewrite systems

This page was built for publication: Layer systems for proving confluence

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