default search action

combined dblp search
author search
venue search
publication search

ask others

JFPLC 2000: Marseille, France

> Home > Conferences and Workshops > JFPLC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/2000
Touraïvane:
Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France. Hermes 2000, ISBN 2-7462-0147-X

Bioinformatique

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Gilbert00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Gilbert00
David R. Gilbert:
Tutoriel I: Bioinformatique et contraintes. JFPLC 2000: 13-

Sémantique

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/ArsouzeFL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/ArsouzeFL00
Julien Arsouze, Gérard Ferrand, Arnaud Lallouet:
Une sémantique co-inductive pour la propagation de contraintes et de labeling. JFPLC 2000: 17-32
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Jaume00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Jaume00
Mathieu Jaume:
Preuves infinies en Programmation logique. JFPLC 2000: 33-48
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DeransartS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DeransartS00
Pierre Deransart, Jan-Georg Smaus:
Les programmes bien typés ont tout bon. JFPLC 2000: 49-66
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/JahierDR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/JahierDR00
Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC 2000: 67-84
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Girard00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Girard00
Jean-Yves Girard:
Conférénce invitée: Négation et dualité en programmation logique. JFPLC 2000: 85-

Contraintes I

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Fruhwirth00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Fruhwirth00
Thom W. Frühwirth:
Predicting Derivation Lengths in Rule-based Constraint Programs. JFPLC 2000: 89-108
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/GranvilliersM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/GranvilliersM00
Laurent Granvilliers, Éric Monfroy:
Modélisation déclarative de stratégies de propagation de contraintes. JFPLC 2000: 109-124
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BouquetLPP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BouquetLPP00
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py:
Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. JFPLC 2000: 125-144
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Colmerauer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Colmerauer00
Alain Colmerauer:
Conférence invitée: Négation et quantification dans les contraintes. JFPLC 2000: 145-

Applications

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BarnierB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BarnierB00
Nicolas Barnier, Pascal Brisset:
Allocation de créneaux pour la régulation du trafic aérien. JFPLC 2000: 149-164
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/GilbertWTY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/GilbertWTY00
David R. Gilbert, David R. Westhead, Janet M. Thornton, Karine Yvon:
Une technique déclarative pour filtrer des motifs topologiques de protéines. JFPLC 2000: 165-

Contraintes II

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Solnon00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Solnon00
Christine Solnon:
Ant-P-Solveur: un solveur de contraintes à base de fourmis artificielles. JFPLC 2000: 189-204
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/CeberioG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/CeberioG00
Martine Ceberio, Laurent Granvilliers:
Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles. JFPLC 2000: 205-220
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Pacholski00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Pacholski00
Leszek Pacholski:
Tutoriel II: Is it difficult to solve equations in the algebra of words. JFPLC 2000: 221-

Langages et Extensions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Dao00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Dao00
Thi-Bich-Hanh Dao:
Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis. JFPLC 2000: 225-240
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/MesnardR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/MesnardR00
Frédéric Mesnard, Antoine Rauzy:
Le iota-calcul: un langage de contraintes d'ordre supérieur. JFPLC 2000: 241-

Bases de données déductives

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LoyerSS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LoyerSS00
Yann Loyer, Nicolas Spyratos, Daniel Stamate:
Test d'hypothèses pour l'intégration d'information en logique à quatre valeurs. JFPLC 2000: 265-

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.