Selected Scientific Publications

Export 4 results:
Author Title [ Type(Asc)] Year
Filters: Author is Fred Mesnard  [Clear All Filters]
Conference Paper
Bagnara R, Mesnard F.  2013.  Eventual Linear Ranking Functions. 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013). :229-238.PDF icon BagnaraM13PPDP.pdf (276.55 KB)
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)