Outils de la page
Différences
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] 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]\\ | ||
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 3.0 Unported
research/publis2006.txt · Dernière modification: 2012/07/26 16:48 de ecoquery Haut de page