default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLT 1988: Trégastel, France
- Serge Bourgault, Mehmet Dincbas:
SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France. 1988
Nouveaux formalismes
- N. Caridroit:
Représentation des connaissances par ensemble d'atomes et clauses de Horn. SPLT 1988: 7-30 - Laurent Hascoët:
A tactic-driven system for building proofs. SPLT 1988: 31-52 - L. Regnier:
Logique linéaire et Prolog. SPLT 1988: 53-
Transformation de programmes
- Francis Alexandre, Jean-Pierre Finance, Alain Quéré:
SPES: un système de transformation de programmes logiques. SPLT 1988: 69-84 - A. Belkhiri:
Transformation de programmes Prolog avec insertion de "slash". SPLT 1988: 85-
Extensions
- Remi Legrand:
Gel implicite, calcul formel et résolution d'équations en programmation logique. SPLT 1988: 105-120 - Jean-Jacques Chabrier, François Jacquenet:
VEGA: une nouvelle méthode de programmation en logique. SPLT 1988: 121-142 - 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 - Thierry Conrad:
EQUATOR: a Many-Sorted Prolog based on Equational Unification. SPLT 1988: 171-184 - O. Nerrand, Claudette Sayettat:
Prolog et les opérateurs temporels. SPLT 1988: 185-206 - A. Marquez:
NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog. SPLT 1988: 207-
Applications
- Françoise Berthier:
Using CHIP to support decision making. SPLT 1988: 225-246 - 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 - Huy Nam Nguyen, L. Ducousso:
Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. SPLT 1988: 267-278 - R. Hascoet, J. Fumeron:
De l'utilisation de Prolog pour des applications à vocation industrielle. SPLT 1988: 279-294 - E. Hubert, L. Battandier, D. Bonnard, P. Broyer:
Du prototype à l'application: éléments de méthode et outils. SPLT 1988: 295-
Contrôle
- Christian Codognet, Philippe Codognet, Gilberto Filé:
Yet another intelligent Backtracking method. SPLT 1988: 317-336 - Jean-Paul Delahaye:
Stratégie générale d'exploration et coupe-choix. SPLT 1988: 337-360 - Stéphane Janot:
Programmation logique avec des interpréteurs équitables. SPLT 1988: 361-
Prolog et Bases de données
- Hendrik Decker:
Domain-Independent and Range-Restricted Formulas and Deductives Databases. SPLT 1988: 385-398 - Jean Michel Cornily:
Couplage Prolog/base de données: un modèle asynchrone. SPLT 1988: 399-
Parallélisme
- Jean-Claude Syre, Philippe Robert, Jacques Chassin de Kergommeaux:
Le système logique parallèle PEPSys. SPLT 1988: 425-454 - Christian Percebois, F. Guerin, G. Orzati:
Parallélisme-OU et assertions Prolog. SPLT 1988: 455-470 - Jean Duprat:
LAIOS: une exécution parallèle de Prolog par recopie des données. SPLT 1988: 471-490 - G. Richard, Antoine Rizk:
Sémantique de Parlog, un langage logique parallèle. SPLT 1988: 491-
Implémentation
- Vincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant:
Outils pour l'implémentation des interprètes Prolog. SPLT 1988: 515-528 - Louis Dewez, Jean-Michel Douin, Philippe Lucas, J. L. Pruvot:
L'environnement Modulog. SPLT 1988: 529-
Papier Invité
- Jean-Louis Lassez:
From Unification to Constraints. SPLT 1988: 543-
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.
last updated on 2024-11-11 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
