Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

SPLT 1988: 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/1988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/1988
Serge Bourgault, Mehmet Dincbas:
SPLT'88, 7^ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France. 1988

Nouveaux formalismes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Caridroit88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Caridroit88
N. Caridroit:
Représentation des connaissances par ensemble d'atomes et clauses de Horn. SPLT 1988: 7-30
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Hascoet88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Hascoet88
Laurent Hascoët:
A tactic-driven system for building proofs. SPLT 1988: 31-52
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Regnier88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Regnier88
L. Regnier:
Logique linéaire et Prolog. SPLT 1988: 53-

Transformation de programmes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/AlexandreFQ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/AlexandreFQ88
Francis Alexandre, Jean-Pierre Finance, Alain Quéré:
SPES: un système de transformation de programmes logiques. SPLT 1988: 69-84
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Belkhiri88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Belkhiri88
A. Belkhiri:
Transformation de programmes Prolog avec insertion de "slash". SPLT 1988: 85-

Extensions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Legrand88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Legrand88
Remi Legrand:
Gel implicite, calcul formel et résolution d'équations en programmation logique. SPLT 1988: 105-120
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/ChabrierJ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/ChabrierJ88
Jean-Jacques Chabrier, François Jacquenet:
VEGA: une nouvelle méthode de programmation en logique. SPLT 1988: 121-142
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Blay-FornarinoP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Blay-FornarinoP88
Mireille Blay-Fornarino, Anne-Marie Pinna-Dery:
Intégration de concepts de la programmation en logique à un langage de schémas paramétré. SPLT 1988: 143-170
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Conrad88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Conrad88
Thierry Conrad:
EQUATOR: a Many-Sorted Prolog based on Equational Unification. SPLT 1988: 171-184
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/NerrandS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/NerrandS88
O. Nerrand, Claudette Sayettat:
Prolog et les opérateurs temporels. SPLT 1988: 185-206
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Marquez88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Marquez88
A. Marquez:
NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog. SPLT 1988: 207-

Applications

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Berthier88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Berthier88
Françoise Berthier:
Using CHIP to support decision making. SPLT 1988: 225-246
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/MigaultRKJ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/MigaultRKJ88
Bernard Migault, François Rousselot, Bernard Keith, J. M. Jeltsch:
Un système d'aide à l'expérimention en génie génétique. SPLT 1988: 247-266
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/NguyenD88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/NguyenD88
Huy Nam Nguyen, L. Ducousso:
Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. SPLT 1988: 267-278
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/HascoetF88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/HascoetF88
R. Hascoet, J. Fumeron:
De l'utilisation de Prolog pour des applications à vocation industrielle. SPLT 1988: 279-294
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/HubertBBB88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/HubertBBB88
E. Hubert, L. Battandier, D. Bonnard, P. Broyer:
Du prototype à l'application: éléments de méthode et outils. SPLT 1988: 295-

Contrôle

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/CodognetCF88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/CodognetCF88
Christian Codognet, Philippe Codognet, Gilberto Filé:
Yet another intelligent Backtracking method. SPLT 1988: 317-336
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Delahaye88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Delahaye88
Jean-Paul Delahaye:
Stratégie générale d'exploration et coupe-choix. SPLT 1988: 337-360
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Janot88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Janot88
Stéphane Janot:
Programmation logique avec des interpréteurs équitables. SPLT 1988: 361-

Prolog et Bases de données

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Decker88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Decker88
Hendrik Decker:
Domain-Independent and Range-Restricted Formulas and Deductives Databases. SPLT 1988: 385-398
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Cornily88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Cornily88
Jean Michel Cornily:
Couplage Prolog/base de données: un modèle asynchrone. SPLT 1988: 399-

Parallélisme

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/SyreRK88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/SyreRK88
Jean-Claude Syre, Philippe Robert, Jacques Chassin de Kergommeaux:
Le système logique parallèle PEPSys. SPLT 1988: 425-454
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/PerceboisGO88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/PerceboisGO88
Christian Percebois, F. Guerin, G. Orzati:
Parallélisme-OU et assertions Prolog. SPLT 1988: 455-470
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Duprat88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Duprat88
Jean Duprat:
LAIOS: une exécution parallèle de Prolog par recopie des données. SPLT 1988: 471-490
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/RichardR88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/RichardR88
G. Richard, Antoine Rizk:
Sémantique de Parlog, un langage logique parallèle. SPLT 1988: 491-

Implémentation

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LoiaQT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LoiaQT88
Vincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant:
Outils pour l'implémentation des interprètes Prolog. SPLT 1988: 515-528
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DewezDLP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DewezDLP88
Louis Dewez, Jean-Michel Douin, Philippe Lucas, J. L. Pruvot:
L'environnement Modulog. SPLT 1988: 529-

Papier Invité

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Lassez88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Lassez88
Jean-Louis Lassez:
From Unification to Constraints. SPLT 1988: 543-

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.