String diagram rewrite theory II : rewriting with symmetric monoidal structure
autor
Bonchi, Filippo
Gadducci, Fabio
Kissinger, Aleks
Sobocinski, Pawel Maria
Zanasi, Fabio
vastutusandmed
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
allikas
Mathematical structures in computer science
kirjastus/väljaandja
Cambridge University Press
ajakirja aastakäik number kuu
Volume 32, Issue 4
ilmumisaasta
2022
leheküljed
p. 511 - 541
leitav
https://doi.org/10.1017/S0960129522000317
märksõna
stringiteooria
diagrammid
kategooriateooria
algebra
võtmesõna
double-pushout rewriting
string diagram
symmetric monoidal category
category theory
ISSN
0960-1295
märkused
Bibliogr.: 70 ref
Open Access
Open Access (hübriid)
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/5000157801
https://www.scopus.com/record/display.uri?eid=2-s2.0-85144368790&origin=resultslist&sort=plf-f&src=s&sid=6615b9fca89328239106ccdf3fbe71fa&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000317%29&sl=30&sessionSearchId=6615b9fca89328239106ccdf3fbe71fa
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000861632300001
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
Computer science. Computer Science Applications
Arvutiteadus. Arvutiteadus (mitmesugused)
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor