Publicaciones en colaboración con investigadores/as 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