%0 Journal Article %1 journals/mscs/BonchiGKSZ22 %A Bonchi, Filippo %A Gadducci, Fabio %A Kissinger, Aleks %A Sobocinski, Pawel %A Zanasi, Fabio %D 2022 %J Math. Struct. Comput. Sci. %K dblp %N 4 %P 511-541 %T String diagram rewrite theory II: Rewriting with symmetric monoidal structure. %U http://dblp.uni-trier.de/db/journals/mscs/mscs32.html#BonchiGKSZ22 %V 32

@article{journals/mscs/BonchiGKSZ22, added-at = {2023-03-21T00:00:00.000+0100}, author = {Bonchi, Filippo and Gadducci, Fabio and Kissinger, Aleks and Sobocinski, Pawel and Zanasi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/22ac3279a592e7ef10197e0264dbe5640/dblp}, ee = {https://doi.org/10.1017/S0960129522000317}, interhash = {115943793356ca56c14b802c950dfc1f}, intrahash = {2ac3279a592e7ef10197e0264dbe5640}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, month = {April}, number = 4, pages = {511-541}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {String diagram rewrite theory II: Rewriting with symmetric monoidal structure.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs32.html#BonchiGKSZ22}, volume = 32, year = 2022 }