TY  - RPRT
TI  - A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
AU  - Louis Rustenholz
AU  - Maximiliano Klemen
AU  - Miguel Ángel Carreira-Perpiñán
AU  - Pedro López-García
PY  - 2024
DO  - 10.1017/s1471068424000413
UR  - https://arxiv.org/abs/2405.06972
ID  - 2405.06972
ER  -