String diagram rewrite theory II : rewriting with symmetric monoidal structure

vastutusandmed
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
kirjastus/väljaandja
ajakirja aastakäik number kuu
Volume 32, Issue 4
ilmumisaasta
leheküljed
p. 511 - 541
ISSN
0960-1295
märkused
Bibliogr.: 70 ref
Open Access
Open Access (hübriid)
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
Bonchi, F., Gadducci, F., Kissinger, A., Sobocinski, P., Zanasi, F. String diagram rewrite theory II : rewriting with symmetric monoidal structure // Mathematical structures in computer science (2022) Volume 32, Issue 4, p. 511 - 541. https://doi.org/10.1017/S0960129522000317