collaborators

1 paper

math.CT2026

A Critical Pair Enumeration Algorithm for String Diagram Rewriting

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…