A Critical Pair Enumeration Algorithm for String Diagram Rewriting
autor
Matsui, Anna
Obi, Innocent
Sabbagh, Guillaume
Torres, Leo
Kessler, Diana-Maria
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
2025
leheküljed
18 p
konverentsi nimetus, aeg
The 8th International Conference on Applied Category Theory (ACT), 2-6, 2025
konverentsi toimumispaik
University of Florida
leitav
https://drive.google.com/file/d/10UDhhSA0CxcrZqeT3Pevf5ydCRrye12D/view?pli=1
märksõna
algoritmid
loendamine
stringiteooria
märkused
Includes bibliogr
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise