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
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
https://www.scopus.com/sourceid/25509
https://www.scopus.com/record/display.uri?eid=2-s2.0-85109004037&origin=inward&txGid=8982598f8a6bd1e70aeb24b273b85c90
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20COMPUT&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000721215200017
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Computer science. Information systems
Arvutiteadus. Infosüsteemid
Computer science. Computer science applications
Arvutiteadus. Arvutiteaduse rakendused
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor