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
https://www.scopus.com/sourceid/5000157801
https://www.scopus.com/record/display.uri?eid=2-s2.0-85144368790&origin=resultslist&sort=plf-f&src=s&sid=6615b9fca89328239106ccdf3fbe71fa&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000317%29&sl=30&sessionSearchId=6615b9fca89328239106ccdf3fbe71fa
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000861632300001
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
Computer science. Computer Science Applications
Arvutiteadus. Arvutiteadus (mitmesugused)
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods