String diagram rewrite theory I : rewriting with Frobenius structure
autor
Bonchi, Filippo
Gadducci, Fabio
Kissinger, Aleks
Sobocinski, Pawel Maria
Zanasi, Fabio
vastutusandmed
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
allikas
Journal of the ACM
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 69, 2
ilmumisaasta
2022
leheküljed
art. 14
leitav
https://doi.org/10.1145/3502719
märksõna
stringiteooria
diagrammid
kategooriateooria
algebra
tingmärgid
võtmesõna
string diagram
double-pushout rewriting
category theory
Frobenius algebra
ISSN
0004-5411
1557-735X
märkused
Bibliogr.: 64 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Computer science
Engineering
Arvutiteadus
Tehnika
kategooria (alam)
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
kvartiil
Q1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor