Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/jfplc/ArsouzeFL00,
  author       = {Julien Arsouze and
                  G{\'{e}}rard Ferrand and
                  Arnaud Lallouet},
  editor       = {Toura{\"{\i}}vane},
  title        = {Une s{\'{e}}mantique co-inductive pour la propagation de contraintes
                  et de labeling},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {17--32},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 15:53:50 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/ArsouzeFL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BarnierB00,
  author       = {Nicolas Barnier and
                  Pascal Brisset},
  editor       = {Toura{\"{\i}}vane},
  title        = {Allocation de cr{\'{e}}neaux pour la r{\'{e}}gulation du
                  trafic a{\'{e}}rien},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {149--164},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BarnierB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BouquetLPP00,
  author       = {Fabrice Bouquet and
                  Bruno Legeard and
                  Fabien Peureux and
                  Laurent Py},
  editor       = {Toura{\"{\i}}vane},
  title        = {Un syst{\`{e}}me de r{\'{e}}solution de contraintes ensemblistes
                  pour l'{\'{e}}valuation de sp{\'{e}}cifications {B}},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {125--144},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BouquetLPP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/CeberioG00,
  author       = {Martine Ceberio and
                  Laurent Granvilliers},
  editor       = {Toura{\"{\i}}vane},
  title        = {R{\'{e}}solution de syst{\`{e}}mes non lin{\'{e}}aires par
                  inversion des contraintes et analyse par intervalles},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {205--220},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CeberioG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Colmerauer00,
  author       = {Alain Colmerauer},
  editor       = {Toura{\"{\i}}vane},
  title        = {Conf{\'{e}}rence invit{\'{e}}e: N{\'{e}}gation et quantification
                  dans les contraintes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {145},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Colmerauer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Dao00,
  author       = {Thi{-}Bich{-}Hanh Dao},
  editor       = {Toura{\"{\i}}vane},
  title        = {R{\'{e}}solution de contraintes du premier ordre dans la th{\'{e}}orie
                  des arbres finis ou infinis},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {225--240},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Dao00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DeransartS00,
  author       = {Pierre Deransart and
                  Jan{-}Georg Smaus},
  editor       = {Toura{\"{\i}}vane},
  title        = {Les programmes bien typ{\'{e}}s ont tout bon},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {49--66},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DeransartS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Fruhwirth00,
  author       = {Thom W. Fr{\"{u}}hwirth},
  editor       = {Toura{\"{\i}}vane},
  title        = {Predicting Derivation Lengths in Rule-based Constraint Programs},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {89--108},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Fruhwirth00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Gilbert00,
  author       = {David R. Gilbert},
  editor       = {Toura{\"{\i}}vane},
  title        = {Tutoriel {I:} Bioinformatique et contraintes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {13},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Wed, 08 Apr 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Gilbert00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GilbertWTY00,
  author       = {David R. Gilbert and
                  David R. Westhead and
                  Janet M. Thornton and
                  Karine Yvon},
  editor       = {Toura{\"{\i}}vane},
  title        = {Une technique d{\'{e}}clarative pour filtrer des motifs topologiques
                  de prot{\'{e}}ines},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {165},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Wed, 08 Apr 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GilbertWTY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Girard00,
  author       = {Jean{-}Yves Girard},
  editor       = {Toura{\"{\i}}vane},
  title        = {Conf{\'{e}}r{\'{e}}nce invit{\'{e}}e: N{\'{e}}gation
                  et dualit{\'{e}} en programmation logique},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {85},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Sat, 30 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Girard00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GranvilliersM00,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy},
  editor       = {Toura{\"{\i}}vane},
  title        = {Mod{\'{e}}lisation d{\'{e}}clarative de strat{\'{e}}gies
                  de propagation de contraintes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {109--124},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/GranvilliersM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JahierDR00,
  author       = {Erwan Jahier and
                  Mireille Ducass{\'{e}} and
                  Olivier Ridoux},
  editor       = {Toura{\"{\i}}vane},
  title        = {Sp{\'{e}}cification de mod{\`{e}}les de traces {\`{a}} l'aide
                  d'une s{\'{e}}mantique par continuations},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {67--84},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JahierDR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Jaume00,
  author       = {Mathieu Jaume},
  editor       = {Toura{\"{\i}}vane},
  title        = {Preuves infinies en Programmation logique},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {33--48},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Jaume00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LoyerSS00,
  author       = {Yann Loyer and
                  Nicolas Spyratos and
                  Daniel Stamate},
  editor       = {Toura{\"{\i}}vane},
  title        = {Test d'hypoth{\`{e}}ses pour l'int{\'{e}}gration d'information
                  en logique {\`{a}} quatre valeurs},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {265},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/LoyerSS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MesnardR00,
  author       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Antoine Rauzy},
  editor       = {Toura{\"{\i}}vane},
  title        = {Le iota-calcul: un langage de contraintes d'ordre sup{\'{e}}rieur},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {241},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Tue, 25 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MesnardR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Pacholski00,
  author       = {Leszek Pacholski},
  editor       = {Toura{\"{\i}}vane},
  title        = {Tutoriel {II:} Is it difficult to solve equations in the algebra of
                  words},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {221},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Pacholski00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Solnon00,
  author       = {Christine Solnon},
  editor       = {Toura{\"{\i}}vane},
  title        = {Ant-P-Solveur: un solveur de contraintes {\`{a}} base de fourmis artificielles},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {189--204},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Solnon00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfplc/2000,
  editor       = {Toura{\"{\i}}vane},
  title        = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  publisher    = {Hermes},
  year         = {2000},
  isbn         = {2-7462-0147-X},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/2000.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.