The SCEAS System
Navigation Menu

Conferences in DBLP

Journées Francophones de Programmation Logique par Contraintes (jfplc)
1993 (conf/jfplc/1993)

  1. Jacques Chassin de Kergommeaux
    Systèmes de programmation logique OU parallèles. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:3- [Conf]
  2. Peter Van Roy
    Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:5- [Conf]
  3. Christian Tahon, Gislaine Kozicki, Gérard Gorthcinsky
    Un modèle de programmation séquencée pour les systèmes à process discontinu. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:9-28 [Conf]
  4. Pascal Bernard
    Some elements of methods to deal with equivalences in specification and program development. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:29-48 [Conf]
  5. Mohamed Benothman, Gilles Berger-Sabbatel
    Gestion de la mémoire cache pour une machine symbolique. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:49-65 [Conf]
  6. Solange Coupet-Grimal
    Représentation sémantique des langues naturelles en Prolog. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:69-91 [Conf]
  7. Serge Le Huitouze, Pascale Louvet, Olivier Ridoux
    Les grammaires logiques et lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:93-108 [Conf]
  8. Laurent Henocque
    Model search with equality: a language and incremental proof procedure for discourse analysis. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:109-125 [Conf]
  9. Daniel Pacholczyk, Jean-Marc Pacholczyk
    Une approche logique de la non-monotonie. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:129-153 [Conf]
  10. Jean-Paul Delahaye, Philippe Mathieu
    An achievement by part method to solve the incompleteness of forward chaining. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:155-171 [Conf]
  11. Pascale Louvet
    Mise en oeuvre d'un traducteur de lambda-Prolog et Llambda. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:175-196 [Conf]
  12. Jacques Malenfant, François-Nicolas Demers
    Évaluation partielle pour l'implantation efficace de la réflexion de comportement. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:197-213 [Conf]
  13. Ulrich Neumerkel
    Une transformation de programme basée sur la notion d'équations entre termes. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:215-229 [Conf]
  14. Kaninda Musumbu
    Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques? [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:231-241 [Conf]
  15. Marc-Michel Corsini, Antoine Rauzy
    CLP(beta) joue la transparence. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:245-261 [Conf]
  16. Julian Fowler
    Preferred constraints as optimization. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:263-272 [Conf]
  17. Jean-Louis Imbert
    Élimination de Fourier: que choisir? [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:273-294 [Conf]
  18. Jean-Louis Imbert
    Élimination de variables dans les systèmes de contraintes linéaires. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:295-318 [Conf]
  19. Frédéric Mesnard
    Approximations entre langages de programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:319-341 [Conf]
  20. Christophe Varnier, Pierre Baptiste, Bruno Legeard
    Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem». [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:343-363 [Conf]
  21. Yves Bekkers
    Programmation d'ordre supérieur en lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:367-390 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002