24 citations · 79 across the 15 of their papers we have counts for
1 paper · 1 filter
Claudia Faggian, Giulio Guerrieri
We present a technique to study normalizing strategies when termination is asymptotic, that is, it appears as a limit, as opposite to reaching a normal form in a finite number of s…