Ci-dessous, les différences entre deux révisions de la page.
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] (Version actuelle) 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. |
[2003, techreport]\\ | [2003, techreport]\\ |