TY  - RPRT
TI  - Logical Approaches to Non-deterministic Polynomial Time over 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/2509.26214
ID  - 2509.26214
ER  -