Bialgebraic foundations for the operational semantics of string diagrams
autor
Bonchi, Filippo
Piedeleu, Robin
Sobocinski, Pawel Maria
Zanasi, Fabio
vastutusandmed
Filippo Bonchi, Robin Piedeleu, Paweł Sobociński, Fabio Zanasi
allikas
Information and computation
kirjastus/väljaandja
Elsevier Inc.
ajakirja aastakäik number kuu
vol. 281
ilmumisaasta
2021
leheküljed
art. 104767, 22 p
leitav
https://doi.org/10.1016/j.ic.2021.104767
märksõna
stringiteooria
semantika
algebra
võtmesõna
string diagrams
structural operational semantics
bialgebraic semantics
ISSN
0890-5401
märkused
Bibliogr.: 50 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. Computational theory and mathematics
en
Arvutiteadus. Arvutusteooria ja matemaatika
et
Computer science. Information systems
en
Arvutiteadus. Infosüsteemid
et
Computer science. Computer science applications
en
Arvutiteadus. Arvutiteaduse rakendused
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor