The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Pascal Yim
    Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formelles. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:7-24 [Conf]
  2. Philippe Ézéquel
    Sur la décomposabilité de programmes logiques. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:25-40 [Conf]
  3. Pierre Deransart
    Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l'aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:41-0 [Conf]
  4. Marcel Gandriau, Christiane Massoutie
    Classes et Types: aides à la programmation en logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:57-70 [Conf]
  5. Paul Y. Gloess
    U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:71-96 [Conf]
  6. Jean-Luc Guérin, Paul Y. Gloess
    Programmation Logique et Objets sans variables par le dessin. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:97-0 [Conf]
  7. Pierre Deransart, Gérard Ferrand, Michel Téguia
    Test d'occurence en PROLOG et grammaires attribuées. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:113-142 [Conf]
  8. Francis Alexandre
    Une heuristique pour transformer des programmes logiques. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:143-158 [Conf]
  9. François Jacquenet
    Le traitement des exceptions en programmation logique avec VEGA. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:159-0 [Conf]
  10. Pierre Azéma, François Vernadat, Jean Christophe Lloret
    Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:187-212 [Conf]
  11. Bruno Marre
    Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:213-0 [Conf]
  12. C. Delaunay, Patrick Saint-Dizier
    Un analyseur ascendant de langage naturel basé sur la théorie de gouvernement et liage. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:237-264 [Conf]
  13. T. Chanier, C. Fournier
    ACTES: Acquisition de Connaissances à partir de Textes pour un Expert en Spécifications. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:265-0 [Conf]
  14. Nadine Cullot, Jean-Jacques Chabrier
    STRALOG: Système expérimental de programmation logique multi-stratégies. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:287-310 [Conf]
  15. Jean-Paul Delahaye, Philippe Mathieu
    Logique Partielle et Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:311-0 [Conf]
  16. Jacques Bellone, AbdelAli Ed-Dbali, Christian Gresse
    Generic Extensions of a Prolog Browser. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:331-344 [Conf]
  17. Giuseppe Cattaneo, Vincenzo Loia, Michel Quaggetto
    Les Sleepers: une technique d'implémentation de haut niveau pour contrôler le processus de démonstration. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:345-0 [Conf]
  18. Jean-Francois Puget
    Evaluation partielle des échecs en Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:361-378 [Conf]
  19. Didier Ladret
    Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?! [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:379-402 [Conf]
  20. Pierre Deransart, Gérard Ferrand
    Une vue méthodologique de la Programmation en Logique avec négation. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:403-0 [Conf]
  21. Christian Codognet, Philippe Codognet
    Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:423-440 [Conf]
  22. D. Bourget, Remi Legrand
    Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:441-0 [Conf]
  23. Franck Porcher, Henri Behringer
    Systèmes à base de Connaissance en Programmation Logique, un schéma: CLP (Théorie Conceptuelle). [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:459-478 [Conf]
  24. Pascal Brisset, Olivier Ridoux
    Quelques applications du filtrage paresseux. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:479-0 [Conf]
  25. P. Jary, X. de Joybert, P. Arsac
    Sélection de clauses en Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:499-522 [Conf]
  26. J. F. Dazy, J. M. Pozas
    Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:523-540 [Conf]
  27. Remi Legrand
    Relationnalisation des programmes logiques. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:541-0 [Conf]
  28. R. Vives
    Modélisation d'un système de décodage acoustico-phonéthique à l'aide de Lislog-c. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:557-576 [Conf]
  29. Huy Nam Nguyen, L. Ducousso
    Automated synthesis of combinational logic using problem solving techniques. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:577-582 [Conf]
  30. N. Cherif, S. Bourgault
    Génération de scènes animées à partir du texte. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:583-0 [Conf]
  31. Hervé Gallaire
    Programmation en Logique: faire encore plus. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:605-0 [Conf]

  32. Epilogue. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:607-0 [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