Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
- Klemen, M.
- Carreira-Perpiñán, M.Á.
- Lopez-Garcia, P.
ISSN: 2075-2180
Año de publicación: 2023
Proceedings - 39th International Conference on Logic Programming, ICLP 2023
Volumen: 385
Páginas: 155-168
Tipo: Aportación congreso