Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

SPLT 1983: 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/1983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/1983
Mehmet Dincbas:
SPLT'83, Séminaire Programmation en Logique, 22-23 mars 1983, Perros-Guirec, France. 1983

Implémentation de PROLOG

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/PerceboisL83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/PerceboisL83
Christian Percebois, A. Lartigue:
Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Boizumault83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Boizumault83
Patrice Boizumault:
Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Martin83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Martin83
M. Martin:
Les nouvelles possibilités de PROLOG/Pascal-Multics. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Caneghem83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Caneghem83
Michel Van Caneghem:
Compilation d'un sous-PROLOG. SPLT 1983

PROLOG et Bases de Données

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Berger-SabbatelN83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Berger-SabbatelN83
Gilles Berger-Sabbatel, Gia Toan Nguyen:
La machine base de données OPALE. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Gallaire83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Gallaire83
Hervé Gallaire:
PROLOG et Bases de Données. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Nicolas83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Nicolas83
Jean-Marie Nicolas:
Bases de données logiques et programmation en logique. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Demolombe83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Demolombe83
Robert Demolombe:
Interface entre PROLOG et un SGBD. SPLT 1983

Nouveaux systèmes de programmation en logique

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Greussay83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Greussay83
P. Greussay:
Un mariage heureux entre LISP et PROLOG: le système LOVLISP. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BourgaultDFP83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BourgaultDFP83
Serge Bourgault, Mehmet Dincbas, Didier Feuerstein, Jean-Pierre Le Pape:
LISLOG: L'an II. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/CarreS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/CarreS83
F. Carre, Patrick Sallé:
Acteurs et programmation en logique: ALOG. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DincbasP83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DincbasP83
Mehmet Dincbas, Jean-Pierre Le Pape:
Nouvelle implémentation de METALOG. SPLT 1983

Problèmes généraux

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Deransart83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Deransart83
Pierre Deransart:
Une sémantique opérationnelle algébrique de programmes PROLOG. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Fages83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Fages83
François Fages:
Note sur l'unification des termes de premier ordre finis et infinis. SPLT 1983
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Colmerauer83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Colmerauer83
Alain Colmerauer:
Prolog en 10 figures. SPLT 1983

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.