@misc{indiciae8f0981a0c081,
  title = {Logical Approaches to Non-deterministic Polynomial Time over Semirings},
  author = {Timon Barlag and Nicolas Fröhlich and Teemu Hankala and Miika Hannula and Minna Hirvonen and Vivian Holzapfel and Juha Kontinen and Arne Meier and Laura Strieker},
  year = {2025},
  url = {https://arxiv.org/abs/2509.26214},
  note = {Source identifier: 2509.26214}
}