Existencias: :: Library Catalog

Guardado en:

Detalles Bibliográficos
Autores principales:	The bbchallenge Collaboration, Blanchard, Justin, Briggs, Daniel, Deka, Konrad, Fenner, Nathan, Forster, Yannick, Georgiev, Georgi, House, Matthew L., Hunter, Rachel, Iijil, Kądziołka, Maja, Kropitz, Pavel, Ligocki, Shawn, mxdys, Naściszewski, Mateusz, savask, Stérin, Tristan, Xu, Chris, Yuen, Jason, Zimmermann, Théo
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Formal Languages and Automata Theory Logic 03D10, 03B35 (Primary) 68Q05, 68Q45 (Secondary) F.1.1; F.4.1; I.2.3; D.2.4; F.4.3
Acceso en línea:	https://arxiv.org/abs/2509.12337
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2509.12337