35 citations · 39 across the 8 of their papers we have counts for
1 paper · 1 filter
Carsten Fuhs, Cynthia Kop
The termination method of weakly monotonic algebras, which has been defined for higher-order rewriting in the HRS formalism, offers a lot of power, but has seen little use in recen…