research
∙
06/27/2019
Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting
Dependency pairs are a key concept at the core of modern automated termi...
research
∙
12/05/2018