Monoidal width
author
Di Lavore, Elena
Sobocinski, Pawel Maria
statement of authorship
Elena Di Lavore, Paweł Maria Sobociński
source
Logical methods in computer science
publisher
Logical Methods in Computer Science
journal volume number month
vol. 19, 3
year of publication
2023
pages
p. 15:1–15:46 : ill
url
https://doi.org/10.46298/LMCS-19(3:15)2023
subject term
arvutiteadus
monoidid
loogika
matemaatika
kategooriateooria
keyword
Computer Science
Logic in Computer Science
Mathematics
Category Theory
monoidal categories
tree width
rank width
ISSN
1860-5974
notes
Bibliogr.: 44 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85174229571&origin=inward&txGid=6d89c61a12c25efc210fc1c1a18d8c5c
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001083845100001
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
arvutiteaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods