default search action

combined dblp search
author search
venue search
publication search

ask others

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

Applications

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Durand90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Durand90
J. Durand:
Une application de Prolog: la génération d'interfaces utilisateurs experts pour logiciels conversationnels sous Unix. SPLT 1990: 7-22
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/ZweckerJA90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/ZweckerJA90
Stella Zwecker, Guy Juanole, Omar Amyay:
Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. SPLT 1990: 23-

Extensions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/SaidiB90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/SaidiB90
Sadeph Saidi, Jean-François Boulicaut:
AFFLOG: une implantation de grammaires à deux niveaux pour l'étude de la Programmation Grammaticale Logique. SPLT 1990: 45-70
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Huitouze90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Huitouze90
Serge Le Huitouze:
Une nouvelle structure de données pour l'implémentation des extensions de Prolog. SPLT 1990: 71-88
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/EmdeD90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/EmdeD90
Anna-Maria Emde, Mireille Ducassé:
Automated debugging of non-terminating Prolog programs. SPLT 1990: 89-

Prolog et Base de Données

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/NurcanKL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/NurcanKL90
Selmin Nurcan, Jacques Kouloumdjian, Li Lei:
Un gestionnaire de connaissances reposant sur l'intégration de la programmation logique et des bases de donnés relationnelles. SPLT 1990: 105-

Prolog et Objets

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Reix90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Reix90
T. Reix:
SP-Object: Extension objet dans le système SP-Prolog v2.1. SPLT 1990: 127-138
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/AndreoliP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/AndreoliP90
Jean-Marc Andreoli, Remo Pareschi:
Formulae as Active Representations of Data. SPLT 1990: 139-160
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/MalenfantLV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/MalenfantLV90
Jacques Malenfant, Guy Lapalme, Jean G. Vaucher:
Implantation du langage de programmation logique, par objets e répartie ObjVProlog-D. SPLT 1990: 161-

Nouveaux formalismes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Lapiquonne90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Lapiquonne90
S. Lapiquonne:
Génération incrémentale de bases de règles trivaluées cohérentes. SPLT 1990: 187-206
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Clergerie90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Clergerie90
Éric Villemonte de la Clergerie:
DyALog: une implantation des Clauses de Horn en Programmtion Dynamique. SPLT 1990: 207-228
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Bressan90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Bressan90
Stéphane Bressan:
Formes de Pierce en logique propositionnelle. SPLT 1990: 229-

Génération de jeux de test

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LardotB90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LardotB90
Liliane Lardot, Norbert Batllou:
Une théorie du test en programmation logique. SPLT 1990: 243-

Sémantique de la Programmation en logique

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BergereF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BergereF90
Michel Bergère, Gérard Ferrand:
Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. SPLT 1990: 263-292
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Ferchichi90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Ferchichi90
Ahmed Ferchichi:
Relational interpretation of logic programs. SPLT 1990: 293-310
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DelahayeD90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DelahayeD90
Jean-Paul Delahaye, François Denis:
Operational semantics of Standard Prolog: an axiomatic approach. SPLT 1990: 311-

Parallélisme

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BriatFG90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BriatFG90
Jacques Briat, M. Favre, Cláudio F. R. Geyer:
OPERA: Ou parallélisme et Régulation Adaptive en Prolog. SPLT 1990: 329-350
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/CodognetCC90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/CodognetCC90
Christian Codognet, Philippe Codognet, Marc-Michel Corsini:
Abstract Interpretation from Prolog to Concurrent Prolog. SPLT 1990: 351-370
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Belmesk90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Belmesk90
Mounira Belmesk:
Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". SPLT 1990: 371-

Négation

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DelahayeT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DelahayeT90
Jean-Paul Delahaye, V. Thibau:
A new model semantics for a program with negation. SPLT 1990: 389-404
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Bekkers90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Bekkers90
Yves Bekkers:
Une contrainte de négation par l'échec en Prolog. SPLT 1990: 405-

Programmation par contraintes

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/HaoC90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/HaoC90
Jin-Kao Hao, Jean-Jacques Chabrier:
Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming. SPLT 1990: 431-446
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Porcher90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Porcher90
Franck Porcher:
COSYLOG: Symbolic Constraints in Logic towards a more Natural Programming. SPLT 1990: 447-462
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/LepapeR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/LepapeR90
J. P. Lepape, D. Ranson:
CLEF_v1 et la Programmation en Logique avec Contraintes. SPLT 1990: 463-486
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/AggounB90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/AggounB90
Abderrahmane Aggoun, Nicolas Beldiceanu:
Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. SPLT 1990: 487-510
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/BoiR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/BoiR90
Jean-Marc Boï, Antoine Rauzy:
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. SPLT 1990: 511-522
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Cousin90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Cousin90
X. Cousin:
Relâchement de contraintes en Programmtion en Logique avec Contraintes. SPLT 1990: 523-

Implémentation

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Brisset90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Brisset90
Pascal Brisset:
Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI. SPLT 1990: 527-550
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/RidouxT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/RidouxT90
Olivier Ridoux, H. Tonneau:
Une mise en oeuvre de l'unification d'expressions booléennes. SPLT 1990: 551-570
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Pique90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Pique90
Jean François Pique:
Décompilation conservant le déterminisme. SPLT 1990: 571-

Papier Invité

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/Levi90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Levi90
Giorgio Levi:
A Unified Approach to Logic Programs Semantics based on Constraints. SPLT 1990: 583-

Chute

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/X90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/X90
Réflexion en cours. SPLT 1990: 587-

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.