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

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.