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
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
kategooria (alam)
Computer science. Computer science applications
en
Arvutiteadus. Arvutiteadus (mitmesugused)
et
Mathematics. Mathematics (miscellaneous)
en
Matemaatika. Matemaatika (mitmesugused)
et
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor