String diagram rewrite theory III : confluence with and without Frobenius
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
p. 829-869
https://doi.org/10.1017/S0960129522000123
https://www.scopus.com/sourceid/5000157801
https://www.scopus.com/record/display.uri?eid=2-s2.0-85149050400&origin=resultslist&sort=plf-f&src=s&sid=3bae792f6264304bb076151503676516&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000123%29&sl=30&sessionSearchId=3bae792f6264304bb076151503676516
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000810289300001