Conferences in DBLP

Journées Francophones de Programmation Logique par Contraintes (jfplc)
1986 (conf/jfplc/1986)

1. Jean-Paul Delahaye, P. Paradinas
   Définitions de stratégies équitables en programmation logique. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:7-14 [Conf]
   
2. Christian Codognet, Philippe Codognet, Gilberto Filé
   Backtracking intelligent en programmation logique. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:25-50 [Conf]
   
3. Philippe Lebaube, Brice Lepape
   Prolog et les techniques de contrôle. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:51-0 [Conf]
   
4. Pierre Deransart, Gérard Ferrand
   Programmation en logique: méthodologie et enseignement. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:75-90 [Conf]
   
5. J. Durand, M. Rusinovitch
   Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:91-0 [Conf]
   
6. J. Eudes
   Résolution et dépendance entre données dans un programme Prolog. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:117-132 [Conf]
   
7. G. Landais
   Transformation de programmes Prolog en vue de la compilation. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:133-0 [Conf]
   
8. Alain Colmerauer
   Note sur Prolog III. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:159-174 [Conf]
   
9. J. Y. Cras
   Types et fonctions en Prolog: une approche ensembliste. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:175-202 [Conf]
   
10. Mehmet Dincbas, Pascal Van Hentenryck
    Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:203-232 [Conf]
    
11. Pascal Yim
    Une nouvelle approche de la programmation en logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:233-252 [Conf]
    
12. Jean Beney, Jean-François Boulicaut
    STARLET: un langage pour une programmation logique fiable. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:253-0 [Conf]
    
13. Serge Le Huitouze, Olivier Ridoux
    Une expérience de réalisation du Gel et du Dif dans MALI. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:269-280 [Conf]
    
14. Mireille Ducassé
    OPIUM: un outil de trace sophistiqué pour PROLOG. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:281-292 [Conf]
    
15. Gilles Berger-Sabbatel
    Mesures comportementales sur l'interprétation de Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:293-308 [Conf]
    
16. D. Bonnard, P. Broyer, E. Hubert, F. Le Diberder
    Un système ouvert de programmation Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:309-0 [Conf]
    
17. N. Azibi, Yves Kodratoff, Ernesto Jorge Costa
    Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:327-344 [Conf]
    
18. Thierry Conrad
    Réarrangement de clauses Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:345-0 [Conf]
    
19. Thierry Gandilhon, B. Ouazan, D. Sciamma
    LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:357-372 [Conf]
    
20. Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret
    Une représentation graphique pour Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:373-386 [Conf]
    
21. L. Zouiten
    Implémenter Prolog dans un environnement de programmation. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:387-0 [Conf]
    
22. P. Salle, Christiane Massoutie, Marcel Gandriau
    Un langage logique orienté objet. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:401-0 [Conf]
    
23. Philippe Lebaube, Brice Lepape
    Evaluation partielle de requêtes dans le cadre du projet EPSILON. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:411-428 [Conf]
    
24. R. Lescoeur, Jean-Marc Kerisit
    Evaluation ensembliste en "largeur d'abord" dans Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:429-442 [Conf]
    
25. Jean-Marc Pugin
    Assuming that you need to assume. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:443-0 [Conf]
    
26. S. Levionnois, A. Scrizzi
    Gestion d'une base de données virtuelle (BDV): Une application de Métalislog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:497-504 [Conf]
    
27. P. Legay, Claudette Sayettat
    Le temps, la chronologie et Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:505-520 [Conf]
    
28. J. Y. Murzin
    FAON: a functional abstractor of netlists. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:521-536 [Conf]
    
29. Patrick Taillibert, S. Varennes
    MI4: Une approche industrielle des systèmes experts. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:537-0 [Conf]
    
30. Christian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure
    Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:553-570 [Conf]
    
31. Jacques Bellone, R. Picca
    Concurrent Prolog: Modèle de calcul et gestion de la mémoire. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:571-584 [Conf]
    
32. M. Kharoune, Abderrahmane Aggoun
    Deux approches du parallélisme ET en Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:585-0 [Conf]
    
33. Y. von Kraute
    Ich habe es nicht gewollt. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:611-0 [Conf]