3 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Ulrich Kohlenbach, Genaro Lopez-Acedo, Adriana Nicolae
In this paper, we use techniques which originate from proof mining to give rates of asymptotic regularity and metastability for a sequence associated to the composition of two firm…