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

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

ISSN: 2075-2180

Argitalpen urtea: 2023

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

Alea: 385

Orrialdeak: 155-168

Mota: Biltzar ekarpena

DOI: 10.4204/EPTCS.385.16 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus