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