default search action

combined dblp search
author search
venue search
publication search

ask others

SPLT 1982: Perros-Guirec, France

> Home > Conferences and Workshops > SPLT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/1982
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/1982
Mehmet Dincbas, Didier Feuerstein:
SPLT'82, Séminaire Programmation en Logique, 4-5 février 1982, Perros-Guirec, France. 1982

PROLOG: Implémentations et environnements de programmation

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/Kanoui82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Kanoui82
Henry Kanoui:
L'environnement de Prolog III. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/MartinJ82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/MartinJ82
M. Martin, T. Joubert:
Interpréteur de Prolog en Pascal sous Multics. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/BekkersC82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BekkersC82
Yves Bekkers, Bernard Canet:
Gestion de mémoire dans les interpréteurs Prolog. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/Donz82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Donz82
Philippe Donz:
Prolog comme outil de génie logiciel. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/Caneghem82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Caneghem82
Michel Van Caneghem:
"Dif", un moyen simple pour un contrôle complexe. SPLT 1982

Logique et Programmation Fonctionelle

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/Rohmer82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Rohmer82
Jean Rohmer:
Prolog et les langages fonctionnels: comparaison de la sémantique et des interpréteurs. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/Banatre82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Banatre82
Jean-Pierre Banâtre:
Parallélisme et programmation fonctionnelle à la Backus. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/GallaireGP82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/GallaireGP82
Hervé Gallaire, Alain Grumbach, E. Papon:
Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/BourgaultDF82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BourgaultDF82
Serge Bourgault, Mehmet Dincbas, Didier Feuerstein:
Programmation en logique en environnement Lisp. SPLT 1982

Logique et spécifications

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/Deransart82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Deransart82
Pierre Deransart:
Prolog et types abstraits algébriques. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/JoubertM82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/JoubertM82
T. Joubert, M. Martin:
OASIS: Outil interactif d'aide à la spécification. SPLT 1982
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/JacquartLZ82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/JacquartLZ82
René Jacquart, Michel Lemaître, Guy Zanon:
LF: langage de spécification de fonctions et de types de données en logique. SPLT 1982

Machines spécialisées

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/PerceboisS82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/PerceboisS82
Christian Percebois, Jean-Paul Sansonnet:
Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listes. SPLT 1982

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.