Conferences in DBLP
Catuscia Palamidessi Constraint programming for concurrent and distributed computing. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:11-0 [Conf ] Donald A. Smith MixLog: a generalized rule-based language. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:21-36 [Conf ] Jean-Hugues Réty Un langage distribué concurrent avec contraintes. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:37-52 [Conf ] Arnaud Lallouet DP-LOG: un langage logique data-parallèle. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:53-0 [Conf ] Maarten H. van Emden Canonical extensions as common basis for interval constraints and interval arithmetic. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:71-84 [Conf ] Karine Liogier Négation constructive et modèles bivalués. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:85-100 [Conf ] Viet Phan Luong Computing stable models of datalog programs with negation. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:101-0 [Conf ] Nicolas Barnier , Pascal Brisset Optimisation par hybridation d'un CSP avec un algorithme génétique. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:119-132 [Conf ] Pierre Dago Backtrack dynamique valué. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:133-148 [Conf ] Narendra Jussien , Patrice Boizumault Stratégies en meilleur d'abord pour la relaxation de contraintes. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:149-0 [Conf ] Jacques Carlier , Eric Pinson Bounds and adjustments associated with the Pm/ri , qi /Cmax scheduling problem. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:169-0 [Conf ] Eric Boucher , Bruno Legeard Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:179-194 [Conf ] Laurent Granvilliers Transformations symboliques et consistance de bloc de CSP continus. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:195-210 [Conf ] Christine Solnon Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:211-0 [Conf ] Abderrahmane Aggoun L'environnement de programmation par contraintes CHIP dans l'industrie. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:229-230 [Conf ] Georges Weil , Kamel Heus , Patrice François Gymnaste ou l'informatisation des plannings des personnels dans l'unité de soins: un défi technique et sociologique. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:231-234 [Conf ] Stéphane N'Dong Prolog IV ou la programmation par contraintes selon PrologIA. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:235-0 [Conf ] John Alan Robinson Unification and resolution in retrospect. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:241-0 [Conf ] Jean-Michel Richer , Jean-Jacques Chabrier Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:245-260 [Conf ] Olivier Roussel , Philippe Mathieu Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:261-276 [Conf ] Mathieu Jaume Formalisation de la SLD-résolution dans le calcul des constructions inductives. [Citation Graph (0, 0)][DBLP ] JFPLC, 1997, pp:277-0 [Conf ]