A Critical Pair Enumeration Algorithm for String Diagram Rewriting
autor
Matsui, Anna
Obi, Innocent
Sabbagh, Guillaume
Torres, Leo
Meleiro, Juan F.
Muroya, Koko
vastutusandmed
Anna Matsui, Innocent Obi, Guillaume Sabbagh, Leo Torres, Diana Kessler, Juan F. Meleiro, Koko Muroya
allikas
Applied Category Theory (ACT)
ilmumisaasta
leheküljed
18 p
konverentsi nimetus, aeg
The 8th International Conference on Applied Category Theory (ACT), 2-6, 2025
konverentsi toimumispaik
University of Florida
märkused
Includes bibliogr
TTÜ struktuuriüksus
keel
inglise
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.