35 citations · 80 across the 25 of their papers we have counts for
1 paper · 1 filter
Carsten Fuhs, Cynthia Kop
In recent years, two higher-order extensions of the powerful dependency pair approach for termination analysis of first-order term rewriting have been defined: the static and the d…