TY  - RPRT
TI  - Fagin's Theorem for Semiring Turing Machines
AU  - Guillermo Badia
AU  - Manfred Droste
AU  - Thomas Eiter
AU  - Rafael Kiesel
AU  - Carles Noguera
AU  - Erik Paul
PY  - 2026
UR  - https://arxiv.org/abs/2507.18375
ID  - 2507.18375
ER  -