Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/jfplc/Banatre82,
  author       = {Jean{-}Pierre Ban{\^{a}}tre},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Parall{\'{e}}lisme et programmation fonctionnelle {\`{a}} la
                  Backus},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 15:11:59 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Banatre82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BekkersC82,
  author       = {Yves Bekkers and
                  Bernard Canet},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Gestion de m{\'{e}}moire dans les interpr{\'{e}}teurs Prolog},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BekkersC82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/BourgaultDF82,
  author       = {Serge Bourgault and
                  Mehmet Dincbas and
                  Didier Feuerstein},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Programmation en logique en environnement Lisp},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BourgaultDF82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Caneghem82,
  author       = {Michel Van Caneghem},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {"Dif", un moyen simple pour un contr{\^{o}}le complexe},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Caneghem82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Deransart82,
  author       = {Pierre Deransart},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Prolog et types abstraits alg{\'{e}}briques},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Deransart82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Donz82,
  author       = {Philippe Donz},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Prolog comme outil de g{\'{e}}nie logiciel},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Donz82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GallaireGP82,
  author       = {Herv{\'{e}} Gallaire and
                  Alain Grumbach and
                  E. Papon},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Pr{\'{e}}sentation de Loglisp et QLog: aspects contr{\^{o}}le
                  de r{\'{e}}solution et {\'{e}}valuation des expressions},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GallaireGP82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JacquartLZ82,
  author       = {Ren{\'{e}} Jacquart and
                  Michel Lema{\^{\i}}tre and
                  Guy Zanon},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {{LF:} langage de sp{\'{e}}cification de fonctions et de types
                  de donn{\'{e}}es en logique},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JacquartLZ82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/JoubertM82,
  author       = {T. Joubert and
                  M. Martin},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {{OASIS:} Outil interactif d'aide {\`{a}} la sp{\'{e}}cification},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JoubertM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Kanoui82,
  author       = {Henry Kanoui},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {L'environnement de Prolog {III}},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Kanoui82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/MartinJ82,
  author       = {M. Martin and
                  T. Joubert},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Interpr{\'{e}}teur de Prolog en Pascal sous Multics},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MartinJ82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/PerceboisS82,
  author       = {Christian Percebois and
                  Jean{-}Paul Sansonnet},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Impl{\'{e}}mentation logicielle et mat{\'{e}}rielle des
                  ressources et des fonctions de manipulation de listes},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/PerceboisS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Rohmer82,
  author       = {Jean Rohmer},
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {Prolog et les langages fonctionnels: comparaison de la s{\'{e}}mantique
                  et des interpr{\'{e}}teurs},
  booktitle    = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Wed, 16 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Rohmer82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfplc/1982,
  editor       = {Mehmet Dincbas and
                  Didier Feuerstein},
  title        = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
                  1982, Perros-Guirec, France},
  year         = {1982},
  timestamp    = {Mon, 06 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/1982.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.