TY  - RPRT
TI  - Logic and Computation through the Lens of Semirings
AU  - Timon Barlag
AU  - Nicolas Fröhlich
AU  - Teemu Hankala
AU  - Miika Hannula
AU  - Minna Hirvonen
AU  - Vivian Holzapfel
AU  - Juha Kontinen
AU  - Arne Meier
AU  - Laura Strieker
PY  - 2025
UR  - https://arxiv.org/abs/2502.12939
ID  - 2502.12939
ER  -