Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gérard Ferrand, Arnaud Lallouet |
Une représentation déclarative des consistances de CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard (eds.) |
Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![Hermes, 2-7462-0937-3 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Michel Vasquez, Djamal Habet |
Algorithmes complet et incomplet pour la coloration des graphes de reines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Sacha Berger, François Bry, Sebastian Schaffert |
Xcerpt et visXcerpt : langages déductifs d'interrogation du Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Charlotte Truchet |
Programmation par contraintes et composition musicale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Vincent Barichard, Jin-Kao Hao |
Recherche locale dichotomique pour la résolution des CSP continus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Grégoire Dooms, Yves Deville, Pierre Dupont |
Recherche de chemins contraints dans les réseaux biochimiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Sylvain Soliman |
Pi-calcul et LCC, une odyssée de l'espace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Étienne Payet, Frédéric Mesnard |
Inférence de non-terminaison pour les programmes logiques avec contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Laurent Granvilliers, Mina Ouabiba |
Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Nicolas Beldiceanu, Emmanuel Poder |
La contrainte période. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Ludovic Langevine, Mireille Ducassé |
Un pilote de traceur pour la PLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Verónica Dahl, Philippe Blache |
Implantation de grammaires de propriétés en CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Michael Leuschel |
PROB: un outil de modélisation formelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Élise Vareilles, Michel Aldanondo, Khaled Hadj-Hamou, Paul Gaborit |
Application des techniques CSP pour la configuration d'un process de traitement thermique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Pascal Nicolas, Laurent Garcia, Igor Stéphan |
Programmation par ensembles-réponses possibilistes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Hervé Deleau, Tony Lambert, Éric Monfroy, Frédéric Saubion |
Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Sébastien Sorlin, Christine Solnon |
Une contrainte globale pour le problème de l'isomorphisme de graphes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand, Willy Lesaint, Alexandre Tessier |
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France, 2004, Hermes, 2-7462-0937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Samir Ouis, Narendra Jussien, Patrice Boizumault |
Explications k-relevantes pour la programmation par contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 111-124, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Vincent Barichard, Jin-Kao Hao |
Une approche hybride pour l'optimisation multi-objectif sous contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 33-46, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Samir Loudni, Patrice Boizumault, Philippe David |
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 169-182, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Christian Timpe |
A hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 15, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Daniel Goossens |
Bipartitions et équations linéaires. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 299-302, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Catherine Belleannée, Olivier Ridoux |
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 49-62, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Jean-Francois Puget |
Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 223-236, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Emmanuel Coquery, François Fages |
Contraintes de sous-typage dans les quasi-treillis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 253-266, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Nicolas Museux, Laurent Jeannin, Pierre Savéant, Fabien Le Huédé, François-Xavier Josset, Juliette Mattioli |
Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d'optimisation combinatoires embarquées. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 83-96, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Ludovic Langevine, Pierre Deransart |
Un nouveau traceur générique pour GNU-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 97-110, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet |
Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 203-216, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | François Laburthe, Yves Caseau |
De l'utilité des contraintes pour explorer des catalogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 141-154, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | François Laburthe |
Des contraintes sur des ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 295-298, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé (eds.) |
Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![Hermes/Lavoisier, 2-7462-0739-7 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Laurent Jeannin, Simon de Givry |
Optimisation des évolutions d'un réseau télécoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 183-186, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Guillaume Arnaud |
Implantation de SBDS en GNU-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 237-250, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Moussa Demba, Francis Alexandre, Khaled Bsaïes |
Correction de Conjectures Fausses par Synthèse de Programmes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 307-310, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Christophe Lecoutre, Frédéric Boussemart, Fred Hemery |
De AC3 à AC7. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 267-280, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Fabrice Ambert, Sébastien Chemin, Bruno Legeard |
Intégration de domaines à variables dans un solveur de contraintes ensemblistes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 217-220, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Narendra Jussien |
L'enseignement de la programmation logique à l'Ecole des Mines de Nantes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 63-75, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Christine Solnon |
Un cours "électronique" sur la programmation par contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 77-80, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Lucas Bordeaux, Éric Monfroy |
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 189-202, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Nathalie Chabrier, François Fages |
"Model Checking" symbolique de réseaux bio-chimiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 155-168, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali |
Apprentissage de solveurs de contraintes sur les domaines finis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 125-138, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Juliette Mattioli, Konstantin Artiouchine |
Noyau de viabilité: une contrainte globale pour la modélisation de systèmes dynamiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 19-32, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion |
Evolution + Adaptation = Résolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 281-294, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Mustapha Belaïssaoui, Houssine Bouyakhf |
L'optimalité de l'algorithme "Distributed Intelligent Backtracking". ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 303-306, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Olivier Ponsini |
Réécriture de programmes C--en équations logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 241-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Julien Arsouze, Gérard Ferrand, Arnaud Lallouet |
Arbre d'itérations chaotiques pour décrire la résolution des CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 289-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé, Ludovic Langevine |
Analyse automatisée de traces d'exécution de programmes CLP(FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 119-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Samir Ouis, Narendra Jussien, Olivier Lhomme |
Explications conviviales pour la programmation par contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 105-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Jean-Charles Régin, Jean-Francois Puget, Thierry Petit |
Representation of soft constraints by hard constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 181-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Pascal Urso, Emmanuel Kounalis |
Généralisations correctes pour l'induction mathématique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 211-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Slim Abdennadher, Thom W. Frühwirth |
Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 257-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Jean-Charles Régin |
Résolution d'un problème de conception de réseau avec Parallel Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 151-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier |
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 135-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Moussa Demba, Khaled Bsaïes |
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 227-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Alexander Bockmayr, Arnaud Courtois |
Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 167-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou |
Raisonnement sur les propriétés de contraintes numériques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 13-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 9-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Pascal Nicolas, Frédéric Saubion, Igor Stéphan |
Optimisation par colonies de fourmis pour la programmation logique étendue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 57-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel |
Non-Termination Inference for Optimal Termination Conditions of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 87-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Abdessamad Imine, Yahya Slimani, Sorin Stratulat |
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 71-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi |
Résolution de problèmes non linéaires avec continuum de solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 27-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Pascal Van Hentenryck |
Du filtrage optimal à la stabilité parfaite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 11-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Michel Rueher (eds.) |
Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Emmanuel Coquery, François Fages |
Surcharge et sous-typage dans TCLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 273-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Olivier Lhomme |
Amortized Non-Systematic Search Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 199-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Luc Jaulin, Marc Christie, Laurent Granvilliers |
Quelques applications de la propagation de contraintes sur les domaines continus en automatique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France, pp. 43-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Areski Nait Abdallah |
Optimal models and optimal trajectories in logical dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 139-156, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Brahim Hnich, Pierre Flener |
High-Level Reformulation of Constraint Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 75-90, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou |
Amélioration de la complexité des kB-consistances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 207-222, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Sébastien Buthod-Garçon, Michel Dumoulin, Laurent Trilling |
Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 59-74, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet (eds.) |
Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![Hermes, 2-7462-0255-7 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Sorin Craciunescu |
Preuves de programmes logiques par induction et coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 287-, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Cyril Terrioux |
Recherche coopérative et Nogood Recording. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 173-188, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Gilles Audemard, Belaid Benhamou |
Etude des symétries dans les modèles finis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 109-122, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha |
HyperPro: Un environment intégré de documentation pour la PLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 257-270, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Enhong Chen, Zhenya Zhang, Xufa Wang, Kazuyuki Aihara |
An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 43-58, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet |
cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 271-286, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Abdelfettah Hasbani, Olivier Guinaldo |
Impact de la programmation logique parallèle et par contraintes sur l'ingénierie des systèmes multi-agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 189-206, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Emmanuel Coquery, François Fages |
Programmes logiques avec contraintes typés. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 223-238, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Nicolas Romero |
Programmation concurrente par contraintes explicitement répartie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 157-172, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Christian Bessière, Jean-Charles Régin |
Refining the Basic Constraint Propagation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 13-26, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak |
Parametric Descriptive Types for CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 239-256, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Marc R. C. van Dongen |
A Theoretical Analysis of the Average-Time Complexity of Domain-Heuristics for Arc-Consistency Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 27-42, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Satoshi Matsuoka |
A Confluent Extension of Lafont's Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 123-138, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Charlotte Truchet, Carlos Agón, Gérard Assayag |
Recherche adaptative et contraintes musicales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, pp. 91-108, 2001, Hermes, 2-7462-0255-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Yann Loyer, Nicolas Spyratos, Daniel Stamate |
Test d'hypothèses pour l'intégration d'information en logique à quatre valeurs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 265-, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Thi-Bich-Hanh Dao |
Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 225-240, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Jean-Yves Girard 0001 |
Conférénce invitée: Négation et dualité en programmation logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 85-, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Christine Solnon |
Ant-P-Solveur: un solveur de contraintes à base de fourmis artificielles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 189-204, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Spécification de modèles de traces à l'aide d'une sémantique par continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 67-84, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Julien Arsouze, Gérard Ferrand, Arnaud Lallouet |
Une sémantique co-inductive pour la propagation de contraintes et de labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 17-32, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | David R. Gilbert, David R. Westhead, Janet M. Thornton, Karine Yvon |
Une technique déclarative pour filtrer des motifs topologiques de protéines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 165-, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard, Antoine Rauzy |
Le iota-calcul: un langage de contraintes d'ordre supérieur. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 241-, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Martine Ceberio, Laurent Granvilliers |
Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 205-220, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Laurent Granvilliers, Éric Monfroy |
Modélisation déclarative de stratégies de propagation de contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 109-124, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Thom W. Frühwirth |
Predicting Derivation Lengths in Rule-based Constraint Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 89-108, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Nicolas Barnier, Pascal Brisset |
Allocation de créneaux pour la régulation du trafic aérien. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, pp. 149-164, 2000, Hermes, 2-7462-0147-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Touraïvane (eds.) |
Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![Hermes, 2-7462-0147-X The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|