A Critical Pair Enumeration Algorithm for String Diagram Rewriting
author
Matsui, Anna
Obi, Innocent
Sabbagh, Guillaume
Torres, Leo
Kessler, Diana-Maria
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
2025
pages
18 p
conference name, date
The 8th International Conference on Applied Category Theory (ACT), 2-6, 2025
conference location
University of Florida
url
https://drive.google.com/file/d/10UDhhSA0CxcrZqeT3Pevf5ydCRrye12D/view?pli=1
subject term
algoritmid
loendamine
stringiteooria
notes
Includes bibliogr
TalTech department
arvutiteaduse instituut
language
inglise