Labelings for Decreasing Diagrams.
From MaRDI portal
Publication:5389095
DOI10.4230/LIPIcs.RTA.2011.377zbMath1236.68157arXiv1406.3139MaRDI QIDQ5389095
Harald Zankl, Aart Middeldorp, Bertram Felgenhauer
Publication date: 24 April 2012
Full work available at URL: https://arxiv.org/abs/1406.3139
68Q42: Grammars and rewriting systems
Related Items
CSI – A Confluence Tool, Confluence: The Unifying, Expressive Power of Locality, Decreasing diagrams and relative termination, De Bruijn's weak diamond property revisited, Labelings for decreasing diagrams, Layer Systems for Proving Confluence