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

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

ISSN: 2075-2180

Datum der Publikation: 2023

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

Ausgabe: 385

Seiten: 155-168

Art: Konferenz-Beitrag

DOI: 10.4204/EPTCS.385.16 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus