Monoid structures on indexed containers
autor
De Pascalis, Michele
Uustalu, Tarmo
Veltri, Niccolò
koostaja
Barbosa, Haniel; Ringeissen, Christophe
vastutusandmed
Michele De Pascalis, Tarmo Uustalu, Niccolò Veltrì
allikas
Proceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 2025
ilmumiskoht
Sydney
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2025
leheküljed
p. 37-54
seeria-sari
Electronic proceedings in theoretical computer science ; 430
konverentsi nimetus, aeg
20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, 6-11 October 2025
konverentsi toimumispaik
Brasília, Brazil
leitav
https://doi.org/10.4204/EPTCS.430.4
märksõna
monoidid
funktsionaalprogrammeerimine
tensorarvutus
teoreemid
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/pages/publications/105022888802?origin=resultslist
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001696440800010
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
functional programming
tensors
theorem proving
ISSN
2075-2180
märkused
Bibliogr.: 27 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise