5 citations · 12 across the 9 of their papers we have counts for
1 paper · 2 filters
Eduardo Bonelli
HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in prog…