Jednotky: :: Library Catalog

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Bártek, Filip, Bhayat, Ahmed, Coutelier, Robin, Hajdu, Márton, Hetzenberger, Matthias, Hozzová, Petra, Kovács, Laura, Rath, Jakob, Rawson, Michael, Reger, Giles, Suda, Martin, Schoisswohl, Johannes, Voronkov, Andrei
Médium:	Preprint
Vydáno:	2025
Témata:	Logic in Computer Science
On-line přístup:	https://arxiv.org/abs/2506.03030
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet

https://arxiv.org/abs/2506.03030