TY  - RPRT
TI  - Undecidability of theories of semirings with fixed points
AU  - Anupam Das
AU  - Abhishek De
AU  - Stepan L. Kuznetsov
PY  - 2025
UR  - https://arxiv.org/abs/2512.19401
ID  - 2512.19401
ER  -