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
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
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