Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Prochaine révision
Révision précédente
research:publis2006 [2012/06/19 09:55]
ecoquery créée
research:publis2006 [2012/07/26 16:48]
ecoquery
Ligne 11: Ligne 11:
  
 [2004, phdthesis]\\ [2004, phdthesis]\\
-((2004). Typage et programmation en logique avec contraintes.). Unpublished PhD Thesis.+((2004). Typage et programmation en logique avec contraintes.). ​
  
 [2003, inproceedings]\\ [2003, inproceedings]\\
Ligne 17: Ligne 17:
  
 [2003, inproceedings]\\ [2003, inproceedings]\\
-(2003). TCLP: A type checker for CLP(X). Paper presented at the Proceedings of the 13th Workshop on Logic Programming Environments.+(2003). TCLP: A type checker for CLP(X). Paper presented at the Proceedings of the 13th Workshop on Logic Programming Environments. ​({{:​research:​c03wlpe.ps|ps}})
  
 [2003, techreport]\\ [2003, techreport]\\