3 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
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…