Bearbmagovva

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkkit: Forster, Jonas, Schröder, Lutz, Wild, Paul, Beohar, Harsh, Gurke, Sebastian, König, Barbara, Messing, Karla
Materiálatiipa: Preprint
Almmustuhtton: 2023
Fáttát:
Logic in Computer Science
03B45, 03B52, 68Q85
F.4.1
Liŋkkat:https://arxiv.org/abs/2306.01487
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Interneahtta

https://arxiv.org/abs/2306.01487

Geahča maid