String diagram rewrite theory III : confluence with and without Frobenius
author
Bonchi, Filippo
Gadducci, Fabio
Kissinger, Aleks
Sobocinski, Pawel Maria
Zanasi, Fabio
statement of authorship
Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio
source
Mathematical structures in computer science
special issue
Confluence
publisher
Cambridge University Press
journal volume number month
vol. 7, special issue 7
year of publication
2022
pages
p. 829-869
url
https://doi.org/10.1017/S0960129522000123
subject term
stringiteooria
kategooriad (matemaatika)
keyword
string diagrams
symmetric monoidal category
double-pushout rewriting
confluence
ISSN
0960-1295
notes
Bibliogr.: 49 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
category (sub)
Computer science. Computer science applications
en
Arvutiteadus. Arvutiteadus (mitmesugused)
et
Mathematics. Mathematics (miscellaneous)
en
Matemaatika. Matemaatika (mitmesugused)
et
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Laboratory for compositional systems and methods