The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Giorgio Delzanno, Andreas Podelski
    Verification of Infinite-State Systems in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:13-22 [Conf]
  2. Serge Colin, Frédéric Mesnard, Antoine Rauzy
    Un module Prolog de mu-calcul booléen: une réalisation par BDD. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:23-38 [Conf]
  3. Christophe Mauras, René Thoraval
    A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:39-54 [Conf]
  4. Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
    Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:55-72 [Conf]
  5. Luc De Raedt
    Database Mining and Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:73-74 [Conf]
  6. Gilles Richard
    Comparison between Programs and Concepts in ILP. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:75-88 [Conf]
  7. Frédéric Saubion, Igor Stéphan
    Implanter des langages d'arbres en Prolog. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:89-106 [Conf]
  8. Arnaud Lallouet, Gaëtan Hains
    Programmation par contraintes parallèle: l'approche CLP(Chi). [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:107-122 [Conf]
  9. Eric Monfroy, Jean-Hugues Réty
    Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:123-140 [Conf]
  10. Alexander Bockmayr, Thomas Kasper
    Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:141-142 [Conf]
  11. Pascal Van Hentenryck
    Localizer: A Modeling Language for Local Search. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:143-144 [Conf]
  12. Louis-Martin Rousseau, Gilles Pesant
    Une hybridation de programmation par contraintes et recherche locale pour le problème de tournées de véhicules. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:145-160 [Conf]
  13. Simon de Givry, Pierre Savéant, Jean Jourdan
    Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:161-178 [Conf]
  14. Stéphane Grumbach
    Constraint Databases. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:179-188 [Conf]
  15. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
    Incremental Expansion of Database Updates Through Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:189-204 [Conf]
  16. Patricia Mainguet
    Résolution incrémentale d'inéquations linéairés à variables dans Z. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:205-220 [Conf]
  17. Laurent Granvilliers
    Stratégies de résolution de CSP numériques. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:221-240 [Conf]
  18. Hélène Kirchner
    ELAN. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:241-248 [Conf]
  19. Christophe Aillaud, Pierre Deransart
    Vers un arbre de spécification d'arbres de choix en PLC. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:249-264 [Conf]
  20. Helmut Simonis, Abderrahmane Aggoun
    Search Tree Debugging. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:265-280 [Conf]
  21. Frédéric Goualard, Frédéric Benhamou
    Un outil de débogage du store pour la programmation par contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:281-296 [Conf]
  22. Erwan Jahier, Mireille Ducassé
    Un traceur d'exécution de programme ne sert pas qu'au débogage. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:297-311 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002