Labelings for Decreasing Diagrams.

DOI10.4230/LIPICS.RTA.2011.377zbMath1236.68157arXiv1406.3139OpenAlexW2569155310MaRDI QIDQ5389095

Harald Zankl, Aart Middeldorp, Bertram Felgenhauer

Publication date: 24 April 2012

Full work available at URL: https://arxiv.org/abs/1406.3139

zbMATH Keywords

labelingconfluenceterm rewritingdecreasing diagrams

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (6)

Layer Systems for Proving Confluence ⋮ Decreasing diagrams and relative termination ⋮ Confluence: The Unifying, Expressive Power of Locality ⋮ CSI – A Confluence Tool ⋮ De Bruijn's weak diamond property revisited ⋮ Labelings for decreasing diagrams

This page was built for publication: Labelings for Decreasing Diagrams.