String diagram rewrite theory I : rewriting with Frobenius structure
author
Bonchi, Filippo
Gadducci, Fabio
Kissinger, Aleks
Sobocinski, Pawel Maria
Zanasi, Fabio
statement of authorship
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
source
Journal of the ACM
publisher
ACM
journal volume number month
vol. 69, 2
year of publication
2022
pages
art. 14
url
https://doi.org/10.1145/3502719
subject term
stringiteooria
diagrammid
kategooriateooria
algebra
tingmärgid
keyword
string diagram
double-pushout rewriting
category theory
Frobenius algebra
ISSN
0004-5411
1557-735X
notes
Bibliogr.: 64 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/23127
https://www.scopus.com/record/display.uri?eid=2-s2.0-85127614327&origin=inward&txGid=289cc957ac27d19b801bd3f9818d2cd6
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20ACM&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000774368700006
category (general)
Computer science
Engineering
Arvutiteadus
Tehnika
category (sub)
Computer science. Information systems
Engineering. Control and systems engineering
Computer science. Hardware and architecture
Computer Science. Software
Computer science. Artificial intelligence
Arvutiteadus. Infosüsteemid
Tehnika. Juhtimis- ja süsteemitehnika
Arvutiteadus. Riistvara ja arhitektuur
Arvutiteadus. Tarkvara
Arvutiteadus. Tehisintellekt
quartile
Q1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods