Search dblp for Publications

export results for "toc:db/conf/jfplc/jfplc1996.bht:"

 download as .bib file

@inproceedings{DBLP:conf/jfplc/AggounCCD96,
  author       = {Abderrahmane Aggoun and
                  M. Cabassa and
                  Philippe Charlier and
                  F. Dec{\`{e}}s},
  editor       = {Jean{-}Louis Imbert},
  title        = {Exemples d'applications de {CHIP} dans le domaine industriel},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {147--152},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Fri, 25 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/AggounCCD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/AlvesKLS96,
  author       = {Mirian Halfeld Ferrari Alves and
                  Synn{\"{o}}ve Kekkonen{-}Moneta and
                  Dominique Laurent and
                  Nicolas Spyratos},
  editor       = {Jean{-}Louis Imbert},
  title        = {Point fixe altern{\'{e}} et bases de donn{\'{e}}es Datalog
                  {\'{e}}tendues},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {33--48},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Fri, 30 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/AlvesKLS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BabyC96,
  author       = {Olivier Baby and
                  Jacques Cohen},
  editor       = {Jean{-}Louis Imbert},
  title        = {Analyse de l'ADN: une approche multipasse {\`{a}} base de contraintes},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {9},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BabyC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BeringerGGJ96,
  author       = {Henri Beringer and
                  Daniel Godard and
                  Andr{\'{e}} Guillaud and
                  Ulrich Junker},
  editor       = {Jean{-}Louis Imbert},
  title        = {Construire des applications interactives d'optimisation avec la programmation
                  par contraintes},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {153},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BeringerGGJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BoucherL96,
  author       = {Eric Boucher and
                  Bruno Legeard},
  editor       = {Jean{-}Louis Imbert},
  title        = {Fonctions de voisinage progressives et admissibles pour des m{\'{e}}thodes
                  d'optimisation en {PLC} sur s{\'{e}}quences},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {255},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BoucherL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BoulicautR96,
  author       = {Jean{-}Fran{\c{c}}ois Boulicaut and
                  Christophe Rigotti},
  editor       = {Jean{-}Louis Imbert},
  title        = {Abduction et d{\'{e}}duction de structures d'objets: une int{\'{e}}gration
                  multiparadigmes},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {17--32},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BoulicautR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/ChambreDM96,
  author       = {Pascal Chambre and
                  Pierre Deransart and
                  Jan Maluszynski},
  editor       = {Jean{-}Louis Imbert},
  title        = {Une m{\'{e}}thode de preuve pour programmes concurrents avec
                  contraintes sous forme clausale},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {115--130},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/ChambreDM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/HoarauM96,
  author       = {S{\'{e}}bastien Hoarau and
                  Fr{\'{e}}d{\'{e}}ric Mesnard},
  editor       = {Jean{-}Louis Imbert},
  title        = {PLC(Bool) pour la d{\'{e}}tection de variables num{\'{e}}riques
                  born{\'{e}}es},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {169--184},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/HoarauM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JussienB96,
  author       = {Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Jean{-}Louis Imbert},
  title        = {Maintien de d{\'{e}}duction pour la relaxation de contraintes},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {239--254},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JussienB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Lallouet96,
  author       = {Arnaud Lallouet},
  editor       = {Jean{-}Louis Imbert},
  title        = {Une notion de composant logiciel en programmation logique},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {83--98},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Lallouet96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Liogier96,
  author       = {Karine Liogier},
  editor       = {Jean{-}Louis Imbert},
  title        = {Syst{\`{e}}me g{\'{e}}n{\'{e}}ral de contraintes avec n{\'{e}}gation},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {287},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Liogier96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Malfon96,
  author       = {Bernard Malfon},
  editor       = {Jean{-}Louis Imbert},
  title        = {Quelques mod{\`{e}}les quadrivalu{\'{e}}s du coml{\'{e}}t{\'{e}}.
                  Application {\`{a}} des notions d{\'{e}}claratives de sympt{\^{o}}me
                  et d'erreur},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {99},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Malfon96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MorelBK96,
  author       = {Eric Morel and
                  Jacques Briat and
                  Jacques Chassin de Kergommeaux},
  editor       = {Jean{-}Louis Imbert},
  title        = {PloSys: parall{\'{e}}lisme {OU} et effets de bords sur syst{\`{e}}me
                  parall{\`{e}}le sans m{\'{e}}moire commune},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {131},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MorelBK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Papini96,
  author       = {Odile Papini},
  editor       = {Jean{-}Louis Imbert},
  title        = {R{\'{e}}vision des connaissances},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {215},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Papini96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/RousselM96,
  author       = {Olivier Roussel and
                  Philippe Mathieu},
  editor       = {Jean{-}Louis Imbert},
  title        = {Une nouvelle m{\'{e}}thode de compilation logique: l'ach{\`{e}}vement
                  par cycles},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {271--286},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/RousselM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Schachter96,
  author       = {Vincent Sch{\"{a}}chter},
  editor       = {Jean{-}Louis Imbert},
  title        = {{CC} et intervalles de t{\^{a}}ches},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {199},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Schachter96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Singer96,
  author       = {Nicolas Singer},
  editor       = {Jean{-}Louis Imbert},
  title        = {Elimination incr{\'{e}}mentale de variables en {PLC}},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {185--198},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Singer96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/SpyratosS96,
  author       = {Nicolas Spyratos and
                  Daniel Stamate},
  editor       = {Jean{-}Louis Imbert},
  title        = {Bases de donn{\'{e}}es avec informations incertaines. S{\'{e}}mantique
                  et mises {\`{a}} jour},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {49},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/SpyratosS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Tessier96,
  author       = {Alexandre Tessier},
  editor       = {Jean{-}Louis Imbert},
  title        = {Diagnostic d{\'{e}}claratif d'insuffisance en Programme logique
                  avec contraintes},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {65--82},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Tessier96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Vetillard96,
  author       = {Eric V{\'{e}}tillard},
  editor       = {Jean{-}Louis Imbert},
  title        = {Applications de la programmation logique avec contraintes aux probl{\`{e}}mes
                  de transport},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {155},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Vetillard96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfplc/1996,
  editor       = {Jean{-}Louis Imbert},
  title        = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  publisher    = {Hermes},
  year         = {1996},
  isbn         = {2-86601-544-4},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.