A Critical Pair Enumeration Algorithm for String Diagram Rewriting

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Matsui, Anna, Obi, Innocent, Sabbagh, Guillaume, Torres, Leo, Kessler, Diana, Meleiro, Juan F., Muroya, Koko
Format:	Preprint
Published:	2026
Subjects:	Category Theory Data Structures and Algorithms
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2603.09433