Stop the war!
Остановите войну!
for scientists:
default search action
JFPL 1993: Nimes, France
- Philippe Ézéquel:
2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France. TEKNEA 1993, ISBN 2-87717-034-9
Conférences invitées (Invited Talks)
- Jacques Chassin de Kergommeaux:
Systèmes de programmation logique OU parallèles. JFPL 1993: 3 - Peter Van Roy:
Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir. JFPL 1993: 5
Applications et implémentations
- Christian Tahon, Gislaine Kozicki, Gérard Gorthcinsky:
Un modèle de programmation séquencée pour les systèmes à process discontinu. JFPL 1993: 9-28 - Pascal Bernard:
Some elements of methods to deal with equivalences in specification and program development. JFPL 1993: 29-48 - Mohamed Benothman, Gilles Berger-Sabbatel:
Gestion de la mémoire cache pour une machine symbolique. JFPL 1993: 49-65
Langage naturel
- Solange Coupet-Grimal:
Représentation sémantique des langues naturelles en Prolog. JFPL 1993: 69-91 - Serge Le Huitouze, Pascale Louvet, Olivier Ridoux:
Les grammaires logiques et lambda-Prolog. JFPL 1993: 93-108 - Laurent Henocque:
Model search with equality: a language and incremental proof procedure for discourse analysis. JFPL 1993: 109-125
Représentation de la connaissance
- Daniel Pacholczyk, Jean-Marc Pacholczyk:
Une approche logique de la non-monotonie. JFPL 1993: 129-153 - Jean-Paul Delahaye, Philippe Mathieu:
An achievement by part method to solve the incompleteness of forward chaining. JFPL 1993: 155-171
Transformation de programmes
- Pascale Louvet:
Mise en oeuvre d'un traducteur de lambda-Prolog et Llambda. JFPL 1993: 175-196 - Jacques Malenfant, François-Nicolas Demers:
Évaluation partielle pour l'implantation efficace de la réflexion de comportement. JFPL 1993: 197-213 - Ulrich Neumerkel:
Une transformation de programme basée sur la notion d'équations entre termes. JFPL 1993: 215-229 - Kaninda Musumbu:
Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques? JFPL 1993: 231-241
Contraintes
- Marc-Michel Corsini, Antoine Rauzy:
CLP(beta) joue la transparence. JFPL 1993: 245-261 - Julian Fowler:
Preferred constraints as optimization. JFPL 1993: 263-272 - Jean-Louis Imbert:
Élimination de Fourier: que choisir? JFPL 1993: 273-294 - Jean-Louis Imbert:
Élimination de variables dans les systèmes de contraintes linéaires. JFPL 1993: 295-318 - Frédéric Mesnard:
Approximations entre langages de programmation logique avec contraintes. JFPL 1993: 319-341 - Christophe Varnier, Pierre Baptiste, Bruno Legeard:
Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem». JFPL 1993: 343-363
Tutorial
- Yves Bekkers:
Programmation d'ordre supérieur en lambda-Prolog. JFPL 1993: 367-390
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.