Publications en collaboration avec des chercheurs 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