Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité. Habilitation à diriger des recherches, Université Denis Diderot (Paris 7), 55 pages, 2012.

Cette monographie fournit une présentation synthétique d'une partie de mes travaux de recherche sur le thème de la terminaison des systèmes de réécriture d'ordre supérieur, en mettant en évidence la notion qui y est commune, celle de clôture de calculabilité.


Statcounter W3C Validator Last updated on 26 October 2016. Come back to main page.