default search action

combined dblp search
author search
venue search
publication search

ask others

SPLT 1983: Perros-Guirec, France

> Home > Conferences and Workshops > SPLT

SPARQL queries

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/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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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

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.