Conferences in DBLP
David Gilbert Tutoriel I: Bioinformatique et contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Julien Arsouze , Gérard Ferrand , Arnaud Lallouet Une sémantique co-inductive pour la propagation de contraintes et de labeling. [Citation Graph (0, 0)][DBLP ] Conf ] Mathieu Jaume Preuves infinies en Programmation logique. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Deransart , Jan-Georg Smaus Les programmes bien typés ont tout bon. [Citation Graph (0, 0)][DBLP ] Conf ] Erwan Jahier , Mireille Ducassé , Olivier Ridoux Spécification de modèles de traces à l'aide d'une sémantique par continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Yves Girard Conférénce invitée: Négation et dualité en programmation logique. [Citation Graph (0, 0)][DBLP ] Conf ] Thom W. Frühwirth Predicting Derivation Lengths in Rule-based Constraint Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Granvilliers , Eric Monfroy Modélisation déclarative de stratégies de propagation de contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Bruno Legeard , Fabien Peureux , Laurent Py Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Colmerauer Conférence invitée: Négation et quantification dans les contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Barnier , Pascal Brisset Allocation de créneaux pour la régulation du trafic aérien. [Citation Graph (0, 0)][DBLP ] Conf ] David Gilbert , David R. Westhead , Janet M. Thornton , Karine Yvon Une technique déclarative pour filtrer des motifs topologiques de protéines. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Solnon Ant-P-Solveur: un solveur de contraintes à base de fourmis artificielles. [Citation Graph (0, 0)][DBLP ] Conf ] Martine Ceberio , Laurent Granvilliers Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles. [Citation Graph (0, 0)][DBLP ] Conf ] Leszek Pacholski Tutoriel II: Is it difficult to solve equations in the algebra of words. [Citation Graph (0, 0)][DBLP ] Conf ] Thi-Bich-Hanh Dao Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Mesnard , Antoine Rauzy Le iota-calcul: un langage de contraintes d'ordre supérieur. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Loyer , Nicolas Spyratos , Daniel Stamate Test d'hypothèses pour l'intégration d'information en logique à quatre valeurs. [Citation Graph (0, 0)][DBLP ] Conf ] 