String diagram rewrite theory II : rewriting with symmetric monoidal structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
p. 511 - 541
https://doi.org/10.1017/S0960129522000317
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
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