print

String diagram rewrite theory I : rewriting with Frobenius structure

author
Bonchi, Filippo
Gadducci, Fabio
Kissinger, Aleks
Sobocinski, Pawel Maria
Zanasi, Fabio
statement of authorship
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
source
Journal of the ACM
publisher
ACM
journal volume number month
vol. 69, 2
year of publication
2022
pages
art. 14
url
https://doi.org/10.1145/3502719
subject term
stringiteooria
diagrammid
kategooriateooria
algebra
tingmärgid
keyword
string diagram
double-pushout rewriting
category theory
Frobenius algebra
ISSN
0004-5411
1557-735X
notes
Bibliogr.: 64 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
Engineering
category (sub)
Computer science. Information systems
Engineering. Control and systems engineering
Computer science. Hardware and architecture
Computer Science. Software
Computer science. Artificial intelligence
kvartiil
Q1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Laboratory for compositional systems and methods
Bonchi, F., Gadducci, F., Kissinger, A., Sobocinski, P.M., Zanasi, F. String diagram rewrite theory I : rewriting with Frobenius structure // Journal of the ACM (2022) vol. 69, 2, art. 14. https://doi.org/10.1145/3502719