Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

SPLT 1985: 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/1985
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/1985
Serge Bourgault, Mehmet Dincbas:
SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France. 1985

Architectures pour PROLOG

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/PerceboisDS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/PerceboisDS85
Christian Percebois, Irène Durand, Catherine Simon:
COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Clere85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Clere85
P. Clere:
Architecture de l'unité de calcul symbolique de MAIA. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Favre85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Favre85
M. Favre:
Etude de langage Concurrent Prolog. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/SyreN85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/SyreN85
Jean-Claude Syre, Jacques Noyé:
Une revue des modèles parallèles pour PROLOG. SPLT 1985

Transformation de programmes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Yim85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Yim85
Pascal Yim:
Transformation d'un programme algorithmique en programme Prolog. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Kharoune85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Kharoune85
M. Kharoune:
Manipulation formelle de programmes Prolog. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Billaud85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Billaud85
Michel Billaud:
Formalisation des structures de contrôle de PROLOG. SPLT 1985

Nouveaux systèmes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Chan85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Chan85
Y. C. Chan:
FORTLOG = Fortran + Logique. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Gloess85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Gloess85
Paul Y. Gloess:
OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Oudot85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Oudot85
Olivier Oudot:
STARLOG: une nouvelle interprétation des clauses de Horn. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/SciammaSM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/SciammaSM85
D. Sciamma, X. Sola, Aristide Mégrelis:
XLOG: types, fonctions et tableaux dans Prolog. SPLT 1985

Analyse de programmes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Besnard85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Besnard85
Philippe Besnard:
Sur la détection des boucles infinies en programmation en logique. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DeransartF85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DeransartF85
Pierre Deransart, Gérard Ferrand:
Détection d'erreurs en programmation en logique. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Ouabdesselam85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Ouabdesselam85
Farid Ouabdesselam:
Prolog avec égalité. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Vieille85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Vieille85
Laurent Vieille:
Le traitement des axiomes récursifs dans les bases de données déductives. SPLT 1985

Systèmes experts

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Crepel85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Crepel85
B. Crepel:
Utilisation de PROLOG II pour la réalisation d'un système expert. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/RohmerLS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/RohmerLS85
Jean Rohmer, R. Lescoeur, D. Sciamma:
BOOMRANG et ALEXANDRE ou "Comment aller de l'avant en arrière et vice-versa". SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/KauffmanG85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/KauffmanG85
Hervé Kauffmann, Alain Grumbach:
Mondes et programmation en logique. SPLT 1985

Applications

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DuvalC85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DuvalC85
Béatrice Duval, J. Y. Cras:
Une solution Prolog au problème de Schubert. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/QuiniouT85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/QuiniouT85
Rene Quiniou, Laurent Trilling:
Des primitives pour la synchronisation des branches OU. Un exemple d'application. SPLT 1985
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Jantke85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Jantke85
J. M. Jantke:
Prolog et la Synergéthique. SPLT 1985

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.