D. Ranson

According to our database, D. Ranson authored at least 4 papers between 1987 and 1992.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1992

BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques.

D. Ranson, J. P. Lepape

Proceedings of the JFPL'92, 1992

1990

CLEF_v1 et la Programmation en Logique avec Contraintes.

J. P. Lepape, D. Ranson

Proceedings of the SPLT'90, 1990

1987

LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique.

J. P. Lepape, Serge Bourgault, D. Ranson

Proceedings of the SPLT'87, 1987

Compilation de Prolog sur une machine de traitement symbolique.

Abderrahmane Aggoun, J. Y. Charpentier, J. P. Lepape, D. Ranson

Proceedings of the SPLT'87, 1987