A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Diese Arbeit stellt einen Algorithmus zur automatisierten Enumeration aller kritischen Paare in linkverbundenen String-Diagramm-Umschreibesystemen vor, der auf Hypergraphen-Manipulation basiert und für symmetrische monoidale Kategorien ohne Frobenius-Struktur auf Korrektheit und Vollständigkeit bewiesen wird.
Anna Matsui (Johns Hopkins University, USA), Innocent Obi (University of Washington, USA), Guillaume Sabbagh (University of Technology of Compiègne, France), Leo Torres (Universidad Nacional de Còrdoba, Argentina), Diana Kessler (Tallinn University of Technology, Estonia), Juan F. Meleiro (University of São Paulo, Brazil), Koko Muroya (National Institute of Informatics, Japan,Ochanomizu University, Japan)Wed, 11 Ma🔢 math