56 citations · 149 across the 22 of their papers we have counts for
1 paper · 1 filter
Thomas Colcombet
The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or in…