| |
| 1992 | ||
|---|---|---|
| 4 | D. Ranson, J. P. Lepape: BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques. JFPL 1992: 35-50 | |
| 1990 | ||
| 3 | J. P. Lepape, D. Ranson: CLEFv1 et la Programmation en Logique avec Contraintes. SPLT 1990: 463-486 | |
| 1987 | ||
| 2 | Abderrahmane Aggoun, J. Y. Charpentier, J. P. Lepape, D. Ranson: Compilation de Prolog sur une machine de traitement symbolique. SPLT 1987: 225-244 | |
| 1 | J. P. Lepape, Serge Bourgault, D. Ranson: LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique. SPLT 1987: 59-76 | |
| 1 | Abderrahmane Aggoun | [2] |
| 2 | Serge Bourgault | [1] |
| 3 | J. Y. Charpentier | [2] |
| 4 | D. Ranson | [1] [2] [3] [4] |