10 citations · 27 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 10 cited
Labelings for Decreasing Diagrams
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
This article is concerned with automating the decreasing diagrams technique of van Oostrom for establishing confluence of term rewrite systems. We study abstract criteria that allo…
cs.LO2014★ 10 cited
Layer Systems for Proving Confluence
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl +1
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.…