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
This paper provides a new, decidable definition of the higher- order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for…