Publicacions en col·laboració amb investigadors/es de University of California System (1)

2023

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

    Electronic Proceedings in Theoretical Computer Science, EPTCS