12 citations · 17 across the 3 of their papers we have counts for
1 paper · 1 filter
Anna Matsui, Innocent Obi, Guillaume Sabbagh +4
Critical pair analysis provides a convenient and computable criterion of confluence, which is a fundamental property in rewriting theory, for a wide variety of rewriting systems. B…