Conferences in DBLP

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

1. Vincent Berry, Philippe Ézéquel
   Distinguer les variables distinguées. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:3-14 [Conf]
   
2. Bernard Malfon
   Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:15-30 [Conf]
   
3. M. Bergère, Gérard Ferrand, Jean-Hugues Réty
   Indépendance de la règle de calcul pour la résolution SLD avec retard. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:31-46 [Conf]
   
4. François Barthélemy
   Operational Semantics for DCGs. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:47-60 [Conf]
   
5. Arnaud Lallouet
   Une sémantique inductive à la Herbrand pour la programmation logique contextuelle. Application à une notion de correction partielle. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:61-76 [Conf]
   
6. Anne Parrain
   Méta-interprétation et transformations de programmes logiques. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:77-92 [Conf]
   
7. Igor Stéphan
   Du ou dans les arbres. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:93-108 [Conf]
   
8. Sophie Renault
   Généralisation de l'Exécution Étendue aux programmes normaux. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:109-0 [Conf]
   
9. Eric Vétillard
   Utilisation de Déclarations en Programmation Logique avec Contraintes. [Citation Graph (0, 0)][DBLP]
   JFPLC, 1994, pp:127-142 [Conf]
   
10. Jean-Louis Imbert
    Redondances, élimination de variables et diséquations linéaires. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:143-158 [Conf]
    
11. Lan Nguyen-Phuong
    Déclarations de Types en Prolog III. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:159-170 [Conf]
    
12. Marc-Michel Corsini, Antoine Rauzy
    Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:171-0 [Conf]
    
13. Christophe Lecoutre
    Une Interprétation abstraite en programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:189-204 [Conf]
    
14. Frédéric Mesnard
    Étude de la terminaison des programmes logiques avec contraintes au moyen d'approximations. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:205-0 [Conf]
    
15. Christophe Rigotti, Jean-François Boulicaut, Mohand-Said Hacid
    Vers une typologie des sémantiques opérationnelles pour les extensions de Prolog vers les objets. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:223-238 [Conf]
    
16. Christine Solnon, Michel Rueher
    Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:239-0 [Conf]
    
17. Jean-Pierre Le Pape, Ralph Etienne-Cummings
    La Programmation en Logique avec Contraintes pour une application de placement en conception de VLSI. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:255-270 [Conf]
    
18. Philippe Charman
    Une approche contrainte pour la conception préliminaire des plans de sol. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:271-286 [Conf]
    
19. Paul Tarau
    Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:287-0 [Conf]
    
20. Andrea Asperti
    Category Theory: Basic notions and general philosophy. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:307-108 [Conf]
    
21. Philippe Codognet
    Programmation Concurrente avec Contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:309-310 [Conf]
    
22. Vincent Danos
    Une logique à grain fain: la logique linéaire. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:311-0 [Conf]