35 citations · 39 across the 8 of their papers we have counts for
1 paper · 1 filter
Carsten Fuhs, Cynthia Kop
We revisit the static dependency pair method for proving termination of higher-order term rewriting and extend it in a number of ways: (1) We introduce a new rewrite formalism desi…