Stop the war!

Остановите войну!

for scientists:

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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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
  - no references & citations available
- 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

a service of

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.