2026-07-20T05:28:39Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3326 2024-03-06T10:34:06Z ddc:004 open_access

Layer Systems for Proving Confluence Felgenhauer, Bertram Zankl, Harald Middeldorp, Aart Term rewriting Confluence Modularity Persistence We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that imply confluence. Our abstract framework covers known results like many-sorted persistence, layer-preservation and currying. We present a counterexample to an extension of the former to order-sorted rewriting and derive new sufficient conditions for the extension to hold. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Bertram Felgenhauer and Harald Zankl and Aart Middeldorp 2011 Is Part Of LIPIcs, Volume 13, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2011.288 urn:nbn:de:0030-drops-33265 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2011.288 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode