Selected Scientific Publications

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: Keyword is ranking functions and Author is Fred Mesnard  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
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)
E
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)