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
märksõna
ISSN
0960-1295
märkused
Bibliogr.: 70 ref
Open Access
Open Access (hübriid)
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kvartiil
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