9 citations · 22 across the 24 of their papers we have counts for
1 paper · 2 filters
Edison Mera, Pedro Lopez-Garcia, German Puebla +2
Effective static analyses have been proposed which infer bounds on the number of resolutions or reductions. These have the advantage of being independent from the platform on which…