%0 Journal Article %1 journals/mscs/BonchiGKSZ22a %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 7 %P 829-869 %T String diagram rewrite theory III: Confluence with and without Frobenius. %U http://dblp.uni-trier.de/db/journals/mscs/mscs32.html#BonchiGKSZ22a %V 32

@article{journals/mscs/BonchiGKSZ22a, 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/2ce2e4edad241235db716ba48ba8e4f22/dblp}, ee = {https://doi.org/10.1017/S0960129522000123}, interhash = {406a016ae9d7588ad2b4d8a2a42f0f3d}, intrahash = {ce2e4edad241235db716ba48ba8e4f22}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, month = {August}, number = 7, pages = {829-869}, timestamp = {2024-04-08T13:16:51.000+0200}, title = {String diagram rewrite theory III: Confluence with and without Frobenius.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs32.html#BonchiGKSZ22a}, volume = 32, year = 2022 }