Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is termination analysis and Author is Anthony Alezan  [Clear All Filters]
2013
Alezan A, Bagnara R, Mesnard F, Payet É.  2013.  Détection des fonctions de rang linéaires à terme. Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013). PDF icon AlezanBMP13JFPC.pdf (286.56 KB)