Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis

  1. Klemen, M.
  2. Carreira-Perpiñán, M.Á.
  3. Lopez-Garcia, P.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS

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

DOI: 10.4204/EPTCS.385.16 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus