String diagram rewrite theory II : rewriting with symmetric monoidal 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
Mathematical structures in computer science
publisher
Cambridge University Press
journal volume number month
Volume 32, Issue 4
year of publication
2022
pages
p. 511 - 541
url
https://doi.org/10.1017/S0960129522000317
subject term
stringiteooria
diagrammid
kategooriateooria
algebra
keyword
double-pushout rewriting
string diagram
symmetric monoidal category
category theory
ISSN
0960-1295
notes
Bibliogr.: 70 ref
Open Access
Open Access (hübriid)
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Mathematics
en
Matemaatika
et
Computer science
en
Arvutiteadus
et
category (sub)
Mathematics. Mathematics (miscellaneous)
en
Matemaatika. Matemaatika (mitmesugused)
et
Computer science. Computer Science Applications
en
Arvutiteadus. Arvutiteadus (mitmesugused)
et
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Laboratory for compositional systems and methods