A Critical Pair Enumeration Algorithm for String Diagram Rewriting

MaRDI QIDQ7221687arXivFDO

Authors Anna Matsui, Innocent Obi, Guillaume Sabbagh, Leo Torres, Koko Muroya

Publication date 2026

Published in arXiv

arXiv classification

math.CT

This page was built for publication: A Critical Pair Enumeration Algorithm for String Diagram Rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7221687)