Conferences in DBLP

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

1. Y. C. Chan
   FORTLOG = Fortran + Logique. [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
2. M. Kharoune
   Manipulation formelle de programmes Prolog. [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
3. Farid Ouabdesselam
   Prolog avec égalité. [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
4. O. Oudot
   STARLOG: une nouvelle interprétation des clauses de Horn. [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
5. Christian Percebois, Irène Durand, C. Simon
   COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog. [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
6. Rene Quiniou, Laurent Trilling
   Des primitives pour la synchronisation des branches OU. Un exemple d'application. [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
7. J. Rohmer, R. Lescoeur, D. Sciamma
   BOOMRANG et ALEXANDRE ou "Comment aller de l'avant en arrière et vice-versa". [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
8. D. Sciamma, X. Sola, Aristide Mégrelis
   XLOG: types, fonctions et tableaux dans Prolog. [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
9. Jean-Claude Syre, Jacques Noyé
   Une revue des modèles parallèles pour PROLOG. [Citation Graph (0, 0)][DBLP]
   SPLT, 1985, pp:- [Conf]
   
10. Hervé Kauffman, Alain Grumbach
    Mondes et programmation en logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
11. J. M. Jantke
    Prolog et la Synergéthique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
12. M. Favre
    Etude de langage Concurrent Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
13. Philippe Besnard
    Sur la détection des boucles infinies en programmation en logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
14. Michel Billaud
    Formalisation des structures de contrôle de PROLOG. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
15. Pascal Yim
    Transformation d'un programme algorithmique en programme Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
16. P. Clere
    Architecture de l'unité de calcul symbolique de MAIA. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
17. B. Crepel
    Utilisation de PROLOG II pour la réalisation d'un système expert. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
18. Paul Y. Gloess
    OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
19. Pierre Deransart, Gérard Ferrand
    Détection d'erreurs en programmation en logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
20. Béatrice Duval, J. Y. Cras
    Une solution Prolog au problème de Schubert. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
    
21. Laurent Vieille
    Le traitement des axiomes récursifs dans les bases de données déductives. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]