Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

SPLT 1986: Trégastel, 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/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/1986
SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. 1986

Contrôle

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DelahayeP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DelahayeP86
Jean-Paul Delahaye, P. Paradinas:
Définitions de stratégies équitables en programmation logique. SPLT 1986: 7-14
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/CodognetCF86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/CodognetCF86
Christian Codognet, Philippe Codognet, Gilberto Filé:
Backtracking intelligent en programmation logique. SPLT 1986: 25-50
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LebaubeL86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LebaubeL86
Philippe Lebaube, Brice Lepape:
Prolog et les techniques de contrôle. SPLT 1986: 51-

Méthodologie

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DeransartF86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DeransartF86
Pierre Deransart, Gérard Ferrand:
Programmation en logique: méthodologie et enseignement. SPLT 1986: 75-90
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DurandR86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DurandR86
J. Durand, M. Rusinovitch:
Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes. SPLT 1986: 91-

Analyse de programmes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Eudes86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Eudes86
J. Eudes:
Résolution et dépendance entre données dans un programme Prolog. SPLT 1986: 117-132
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Landais86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Landais86
G. Landais:
Transformation de programmes Prolog en vue de la compilation. SPLT 1986: 133-

Extensions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Colmerauer86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Colmerauer86
Alain Colmerauer:
Note sur Prolog III. SPLT 1986: 159-174
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Cras86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Cras86
J. Y. Cras:
Types et fonctions en Prolog: une approche ensembliste. SPLT 1986: 175-202
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DincbasH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DincbasH86
Mehmet Dincbas, Pascal Van Hentenryck:
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. SPLT 1986: 203-232
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Yim86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Yim86
Pascal Yim:
Une nouvelle approche de la programmation en logique. SPLT 1986: 233-252
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BeneyB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BeneyB86
Jean Beney, Jean-François Boulicaut:
STARLET: un langage pour une programmation logique fiable. SPLT 1986: 253-

Implémentation

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/HuitouzeR86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/HuitouzeR86
Serge Le Huitouze, Olivier Ridoux:
Une expérience de réalisation du Gel et du Dif dans MALI. SPLT 1986: 269-280
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Ducasse86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Ducasse86
Mireille Ducassé:
OPIUM: un outil de trace sophistiqué pour PROLOG. SPLT 1986: 281-292
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Berger-Sabbatel86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Berger-Sabbatel86
Gilles Berger-Sabbatel:
Mesures comportementales sur l'interprétation de Prolog. SPLT 1986: 293-308
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BonnardBHD86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BonnardBHD86
D. Bonnard, P. Broyer, E. Hubert, F. Le Diberder:
Un système ouvert de programmation Prolog. SPLT 1986: 309-

Transformation de programmes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/AzibiKC86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/AzibiKC86
N. Azibi, Yves Kodratoff, Ernesto Jorge Costa:
Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique. SPLT 1986: 327-344
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Conrad86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Conrad86
Thierry Conrad:
Réarrangement de clauses Prolog. SPLT 1986: 345-

Environnements

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/GandilhonOS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/GandilhonOS86
Thierry Gandilhon, B. Ouazan, D. Sciamma:
LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation. SPLT 1986: 357-372
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/RueherTGL86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/RueherTGL86
Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret:
Une représentation graphique pour Prolog. SPLT 1986: 373-386
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Zouiten86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Zouiten86
L. Zouiten:
Implémenter Prolog dans un environnement de programmation. SPLT 1986: 387-

Objets et Prolog

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/SalleMG86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/SalleMG86
Patrick Sallé, Christiane Massoutie, Marcel Gandriau:
Un langage logique orienté objet. SPLT 1986: 401-

Bases de données et Prolog

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LebaubeL86a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LebaubeL86a
Philippe Lebaube, Brice Lepape:
Evaluation partielle de requêtes dans le cadre du projet EPSILON. SPLT 1986: 411-428
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LescoeurK86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LescoeurK86
R. Lescoeur, Jean-Marc Kerisit:
Evaluation ensembliste en "largeur d'abord" dans Prolog. SPLT 1986: 429-442
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Pugin86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Pugin86
Jean-Marc Pugin:
Assuming that you need to assume. SPLT 1986: 443-

Applications

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LevionnoisS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LevionnoisS86
S. Levionnois, A. Scrizzi:
Gestion d'une base de données virtuelle (BDV): Une application de Métalislog. SPLT 1986: 497-504
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LegayS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LegayS86
P. Legay, Claudette Sayettat:
Le temps, la chronologie et Prolog. SPLT 1986: 505-520
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Murzin86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Murzin86
J. Y. Murzin:
FAON: a functional abstractor of netlists. SPLT 1986: 521-536
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/TaillibertV86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/TaillibertV86
Patrick Taillibert, S. Varennes:
MI4: Une approche industrielle des systèmes experts. SPLT 1986: 537-

Parallélisme

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/PerceboisFDSB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/PerceboisFDSB86
Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure:
Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. SPLT 1986: 553-570
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BelloneP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BelloneP86
Jacques Bellone, R. Picca:
Concurrent Prolog: Modèle de calcul et gestion de la mémoire. SPLT 1986: 571-584
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/KharouneA86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/KharouneA86
M. Kharoune, Abderrahmane Aggoun:
Deux approches du parallélisme ET en Prolog. SPLT 1986: 585-

Invited paper

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Kraute86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Kraute86
Y. von Kraute:
Ich habe es nicht gewollt. SPLT 1986: 611-

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.