String diagram rewrite theory II: Rewriting with symmetric monoidal structure

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi. String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Mathematical Structures in Computer Science, 32(4):511-541, April 2022. [doi]

Authors

Filippo Bonchi

This author has not been identified. Look up 'Filippo Bonchi' in Google

Fabio Gadducci

This author has not been identified. Look up 'Fabio Gadducci' in Google

Aleks Kissinger

This author has not been identified. Look up 'Aleks Kissinger' in Google

Pawel Sobocinski 0001

This author has not been identified. Look up 'Pawel Sobocinski 0001' in Google

Fabio Zanasi

This author has not been identified. Look up 'Fabio Zanasi' in Google