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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.