most citedConfluence by Critical Pair Analysis Revisited (Extended Version)

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

cs.LO2019★ 1 cited

Confluence by Critical Pair Analysis Revisited (Extended Version)

Nao Hirokawa, Julian Nagele, Vincent van Oostrom +1

We present two methods for proving confluence of left-linear term rewrite systems. One is hot-decreasingness, combining the parallel/development closedness theorems with rule label…

cs.LO2017

Critical Peaks Redefined -

Nao Hirokawa, Julian Nagele, Vincent van Oostrom +1

Let a cluster be a term with a number of patterns occurring in it. We give two accounts of clusters, a geometric one as sets of (node and edge) positions, and an inductive one as p…