Selected Scientific Publications
Export 2 results:
Author Title Type [ Year
Filters: Keyword is ranking functions [Clear All Filters]
Détection des fonctions de rang linéaires à terme. Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013).
AlezanBMP13JFPC.pdf (286.56 KB)
.
2013. 
Eventual Linear Ranking Functions. 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013). :229-238.
BagnaraM13PPDP.pdf (276.55 KB)
.
2013. 