A Critical Pair Enumeration Algorithm for String Diagram Rewriting
author
Matsui, Anna
Obi, Innocent
Sabbagh, Guillaume
Torres, Leo
Meleiro, Juan F.
Muroya, Koko
statement of authorship
Anna Matsui, Innocent Obi, Guillaume Sabbagh, Leo Torres, Diana Kessler, Juan F. Meleiro, Koko Muroya
source
Applied Category Theory (ACT)
year of publication
pages
18 p
conference name, date
The 8th International Conference on Applied Category Theory (ACT), 2-6, 2025
conference location
University of Florida
notes
Includes bibliogr
TalTech department
language
inglise
subject term
Matsui, A., Obi, I., Sabbagh, G., Torres, L., Kessler, D., Meleiro, J. F., Muroya, K. A Critical Pair Enumeration Algorithm for String Diagram Rewriting // Applied Category Theory (ACT)., 2025. 18 p.