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

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

ISSN: 2075-2180

Any de publicació: 2023

Proceedings - 39th International Conference on Logic Programming, ICLP 2023

Volum: 385

Pàgines: 155-168

Tipus: Aportació congrés

DOI: 10.4204/EPTCS.385.16 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus