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
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
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. Computer science applications
Arvutiteadus. Arvutiteadus (mitmesugused)
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods