A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Matsui, Anna
;
Obi, Innocent
;
Sabbagh, Guillaume
;
Torres, Leo
;
Kessler, Diana-Maria
;
Meleiro, Juan F.
;
Muroya, Koko
Applied Category Theory (ACT)
2025
/
18 p
https://drive.google.com/file/d/10UDhhSA0CxcrZqeT3Pevf5ydCRrye12D/view?pli=1