Bearbmagovva

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkkit: de Jong, Tom, Kraus, Nicolai, Forsberg, Fredrik Nordvall, Xu, Chuangjie
Materiálatiipa: Preprint
Almmustuhtton: 2025
Fáttát:
Logic in Computer Science
Logic
Liŋkkat:https://arxiv.org/abs/2501.14542
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Interneahtta

https://arxiv.org/abs/2501.14542

Geahča maid