Existencias: :: Library Catalog

Guardado en:

Detalles Bibliográficos
Autores principales:	Cordeiro, Lucas C., Daggitt, Matthew L., Girard-Satabin, Julien, Isac, Omri, Johnson, Taylor T., Katz, Guy, Komendantskaya, Ekaterina, Lemesle, Augustin, Manino, Edoardo, Šinkarovs, Artjoms, Wu, Haoze
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Machine Learning Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2501.05867
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2501.05867