String diagram rewrite theory III : confluence with and without Frobenius
autor
Bonchi, Filippo
Gadducci, Fabio
Kissinger, Aleks
Sobocinski, Pawel Maria
Zanasi, Fabio
vastutusandmed
Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio
allikas
Mathematical structures in computer science
ajakirja erinumber
Confluence
kirjastus/väljaandja
Cambridge University Press
ajakirja aastakäik number kuu
vol. 7, special issue 7
ilmumisaasta
2022
leheküljed
p. 829-869
leitav
https://doi.org/10.1017/S0960129522000123
märksõna
stringiteooria
kategooriad (matemaatika)
võtmesõna
string diagrams
symmetric monoidal category
double-pushout rewriting
confluence
ISSN
0960-1295
märkused
Bibliogr.: 49 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/5000157801
https://www.scopus.com/record/display.uri?eid=2-s2.0-85149050400&origin=resultslist&sort=plf-f&src=s&sid=3bae792f6264304bb076151503676516&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000123%29&sl=30&sessionSearchId=3bae792f6264304bb076151503676516
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:000810289300001
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. Computer science applications
Arvutiteadus. Arvutiteadus (mitmesugused)
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor