2 citations · 2 across the 1 of their papers we have counts for
1 paper
Kiraku Shintani, Nao Hirokawa
We show how confluence criteria based on decreasing diagrams are generalized to ones composable with other criteria. For demonstration of the method, the confluence criteria of ort…