Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJFPLC 1994: Bordeaux, France
- Marc-Michel Corsini:
JFPLC'94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France. 1994
Théorie
- Vincent Berry, Philippe Ézéquel:
Distinguer les variables distinguées. JFPLC 1994: 3-14 - Bernard Malfon:
Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes. JFPLC 1994: 15-30 - Michel Bergère, Gérard Ferrand, Jean-Hugues Réty:
Indépendance de la règle de calcul pour la résolution SLD avec retard. JFPLC 1994: 31-46 - François Barthélemy:
Operational Semantics for DCGs. JFPLC 1994: 47-60 - Arnaud Lallouet:
Une sémantique inductive à la Herbrand pour la programmation logique contextuelle. Application à une notion de correction partielle. JFPLC 1994: 61-76 - Anne Parrain:
Méta-interprétation et transformations de programmes logiques. JFPLC 1994: 77-92 - Igor Stéphan:
Du ou dans les arbres. JFPLC 1994: 93-108 - Sophie Renault:
Généralisation de l'Exécution Étendue aux programmes normaux. JFPLC 1994: 109-
Contraintes
- Eric Vétillard:
Utilisation de Déclarations en Programmation Logique avec Contraintes. JFPLC 1994: 127-142 - Jean-Louis Imbert:
Redondances, élimination de variables et diséquations linéaires. JFPLC 1994: 143-158 - Lan Nguyen-Phuong:
Déclarations de Types en Prolog III. JFPLC 1994: 159-170 - Marc-Michel Corsini, Antoine Rauzy:
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. JFPLC 1994: 171-
Analyse de Programmes
- Christophe Lecoutre:
Une Interprétation abstraite en programmation logique avec contraintes. JFPLC 1994: 189-204 - Frédéric Mesnard:
Étude de la terminaison des programmes logiques avec contraintes au moyen d'approximations. JFPLC 1994: 205-
Prolog et Objets
- Christophe Rigotti, Jean-François Boulicaut, Mohand-Said Hacid:
Vers une typologie des sémantiques opérationnelles pour les extensions de Prolog vers les objets. JFPLC 1994: 223-238 - Christine Solnon, Michel Rueher:
Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. JFPLC 1994: 239-
Applications
- Jean-Pierre Le Pape, Ralph Etienne-Cummings:
La Programmation en Logique avec Contraintes pour une application de placement en conception de VLSI. JFPLC 1994: 255-270 - Philippe Charman:
Une approche contrainte pour la conception préliminaire des plans de sol. JFPLC 1994: 271-286 - Paul Tarau:
Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. JFPLC 1994: 287-
Tutoriels
- Andrea Asperti:
Category Theory: Basic notions and general philosophy. JFPLC 1994: 307-108 - Philippe Codognet:
Programmation Concurrente avec Contraintes. JFPLC 1994: 309-310 - Vincent Danos:
Une logique à grain fain: la logique linéaire. JFPLC 1994: 311-
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.
last updated on 2023-09-21 21:27 CEST 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:
