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}
}
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.