dblp.uni-trier.dewww.uni-trier.de

D. Ranson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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

Coauthor Index

1Abderrahmane Aggoun [2]
2Serge Bourgault [1]
3J. Y. Charpentier [2]
4J. P. Lepape [1] [2] [3] [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)