Guillaume Genestier | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Frédéric Blanqui
12 publications
Olivier Hermant
4 publications

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...

0 Frédéric Blanqui, et al. ∙

research

∙ 12/05/2018

Termination of λΠ modulo rewriting using the size-change principle (work in progress)

The Size-Change Termination principle was first introduced to study the ...

0 Frédéric Blanqui, et al. ∙