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