Search dblp for Publications

export results for "toc:db/conf/jfplc/jfplc1989.bht:"

 download as .bib file

@inproceedings{DBLP:conf/jfplc/Alexandre89,
  author       = {Francis Alexandre},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Une heuristique pour transformer des programmes logiques},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {143--158},
  year         = {1989},
  timestamp    = {Mon, 06 Sep 2004 15:30:23 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Alexandre89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/AzemaVL89,
  author       = {Pierre Az{\'{e}}ma and
                  Fran{\c{c}}ois Vernadat and
                  Jean Christophe Lloret},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Sp{\'{e}}cification Logique de Protocoles de Communication {\`{a}}
                  l'aide de R{\'{e}}seaux Pr{\'{e}}dicat/Transition Etiquet{\'{e}}s},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {187--212},
  year         = {1989},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/AzemaVL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BelloneEG89,
  author       = {Jacques Bellone and
                  AbdelAli Ed{-}Dbali and
                  Christian Gresse},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Generic Extensions of a Prolog Browser},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {331--344},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BelloneEG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BourgetL89,
  author       = {D. Bourget and
                  Remi Legrand},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Une machine {\`{a}} r{\'{e}}duction d'un langage logique exploitant
                  le parall{\'{e}}lisme d'ADA},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {441},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BourgetL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BrissetR89,
  author       = {Pascal Brisset and
                  Olivier Ridoux},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Quelques applications du filtrage paresseux},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {479},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BrissetR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/CattaneoLQ89,
  author       = {Giuseppe Cattaneo and
                  Vincenzo Loia and
                  Michel Quaggetto},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Les Sleepers: une technique d'impl{\'{e}}mentation de haut niveau
                  pour contr{\^{o}}ler le processus de d{\'{e}}monstration},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {345},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CattaneoLQ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/ChanierF89,
  author       = {Thierry Chanier and
                  C. Fournier},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {{ACTES:} Acquisition de Connaissances {\`{a}} partir de Textes pour
                  un Expert en Sp{\'{e}}cifications},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {265},
  year         = {1989},
  timestamp    = {Wed, 20 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/ChanierF89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/CherifB89,
  author       = {N. Cherif and
                  Serge Bourgault},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {G{\'{e}}n{\'{e}}ration de sc{\`{e}}nes anim{\'{e}}es
                  {\`{a}} partir du texte},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {583},
  year         = {1989},
  timestamp    = {Tue, 14 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/CherifB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/CodognetC89,
  author       = {Christian Codognet and
                  Philippe Codognet},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Non-deterministic Stream AND-parallelism based on Intelligent Backtracking},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {423--440},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CodognetC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/CullotC89,
  author       = {Nadine Cullot and
                  Jean{-}Jacques Chabrier},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {{STRALOG:} Syst{\`{e}}me exp{\'{e}}rimental de programmation
                  logique multi-strat{\'{e}}gies},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {287--310},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CullotC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DazyP89,
  author       = {J. F. Dazy and
                  J. M. Pozas},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {D{\'{e}}compilation de clauses, Traitement des predicats assert/1,
                  retract/1, clause/2, ...: Pour une implantation compil{\'{e}}e
                  de "tout" Prolog},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {523--540},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DazyP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DelahayeM89,
  author       = {Jean{-}Paul Delahaye and
                  Philippe Mathieu},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Logique Partielle et Prolog},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {311},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DelahayeM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DelaunayS89,
  author       = {Christophe Delaunay and
                  Patrick Saint{-}Dizier},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Un analyseur ascendant de langage naturel bas{\'{e}} sur la th{\'{e}}orie
                  de gouvernement et liage},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {237--264},
  year         = {1989},
  timestamp    = {Thu, 16 May 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DelaunayS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Deransart89,
  author       = {Pierre Deransart},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Sur la multiplicit{\'{e}} des S{\'{e}}mantiques Op{\'{e}}rationnelles
                  de la Programmation en Logique, leur Mod{\'{e}}lisation {\`{a}}
                  l'aide de Grammaires Attribu{\'{e}}es et leur utilisation pour
                  valider des Programmes Logiques},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {41},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Deransart89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DeransartF89,
  author       = {Pierre Deransart and
                  G{\'{e}}rard Ferrand},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Une vue m{\'{e}}thodologique de la Programmation en Logique avec
                  n{\'{e}}gation},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {403},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DeransartF89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/DeransartFT89,
  author       = {Pierre Deransart and
                  G{\'{e}}rard Ferrand and
                  Michel T{\'{e}}guia},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Test d'occurence en {PROLOG} et grammaires attribu{\'{e}}es},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {113--142},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DeransartFT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Ezequel89,
  author       = {Philippe {\'{E}}z{\'{e}}quel},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Sur la d{\'{e}}composabilit{\'{e}} de programmes logiques},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {25--40},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Ezequel89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Gallaire89,
  author       = {Herv{\'{e}} Gallaire},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Programmation en Logique: faire encore plus},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {605},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Gallaire89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GandriauM89,
  author       = {Marcel Gandriau and
                  Christiane Massoutie},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Classes et Types: aides {\`{a}} la programmation en logique},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {57--70},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GandriauM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Gloess89,
  author       = {Paul Y. Gloess},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {U-LOG, aspects formels et pratiques d'un interface entre Programmation
                  Logique et Objets},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {71--96},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Gloess89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GuerinG89,
  author       = {Jean{-}Luc Gu{\'{e}}rin and
                  Paul Y. Gloess},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Programmation Logique et Objets sans variables par le dessin},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {97},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GuerinG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Jacquenet89,
  author       = {Fran{\c{c}}ois Jacquenet},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Le traitement des exceptions en programmation logique avec {VEGA}},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {159},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Jacquenet89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JaryJA89,
  author       = {P. Jary and
                  X. de Joybert and
                  P. Arsac},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {S{\'{e}}lection de clauses en Prolog},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {499--522},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JaryJA89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Ladret89,
  author       = {Didier Ladret},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Une approche Multi-Aspects pour la n{\'{e}}gation: yet another
                  article sur la n{\'{e}}gation en prolog?!},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {379--402},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Ladret89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Legrand89,
  author       = {Remi Legrand},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Relationnalisation des programmes logiques},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {541},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Legrand89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Marre89,
  author       = {Bruno Marre},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {G{\'{e}}n{\'{e}}ration automatique de jeux de tests, une
                  solution: Sp{\'{e}}cifications Alg{\'{e}}briques et Programmation
                  Logique},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {213},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Marre89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/NguyenD89,
  author       = {Huy Nam Nguyen and
                  L. Ducousso},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Automated synthesis of combinational logic using problem solving techniques},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {577--582},
  year         = {1989},
  timestamp    = {Wed, 08 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/NguyenD89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/PorcherB89,
  author       = {Franck Porcher and
                  Henri Behringer},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Syst{\`{e}}mes {\`{a}} base de Connaissance en Programmation Logique,
                  un sch{\'{e}}ma: {CLP} (Th{\'{e}}orie Conceptuelle)},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {459--478},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/PorcherB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Puget89,
  author       = {Jean{-}Francois Puget},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Evaluation partielle des {\'{e}}checs en Prolog},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {361--378},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Puget89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Vives89,
  author       = {R. Vives},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Mod{\'{e}}lisation d'un syst{\`{e}}me de d{\'{e}}codage
                  acoustico-phon{\'{e}}thique {\`{a}} l'aide de Lislog-c},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {557--576},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Vives89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/X89,
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Epilogue},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {607},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/X89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Yim89,
  author       = {Pascal Yim},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {R{\'{e}}solution dans les syst{\`{e}}mes formels abstraits: applications
                  {\`{a}} la programmation en logique, aux syst{\`{e}}mes de r{\'{e}}{\'{e}}criture
                  et aux grammaires formelles},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {7--24},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Yim89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfplc/1989,
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  year         = {1989},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.