97 citations · 156 across the 13 of their papers we have counts for
1 paper · 2 filters
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for which we p…