Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | |||
research:publis2006 [2012/07/26 16:45] ecoquery |
research:publis2006 [2012/07/26 16:48] (Version actuelle) ecoquery |
||
---|---|---|---|
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]\\ |