A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Dit paper introduceert een correct en exhaustief algoritme voor het automatisch enumereren van kritieke paren in stringdiagram-rewriting-systemen binnen symmetrische monoidale categorieën zonder Frobenius-structuur, door middel van concrete manipulatie van hypergrafieken.
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