Search results for "JFPL"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Jean-Louis Imbert	Élimination de Fourier: que choisir?	JFPL	1993	DBLP BibTeX RDF
1	Peter Van Roy	Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir.	JFPL	1993	DBLP BibTeX RDF
1	Solange Coupet-Grimal	Représentation sémantique des langues naturelles en Prolog.	JFPL	1993	DBLP BibTeX RDF
1	Mohamed Benothman, Gilles Berger-Sabbatel	Gestion de la mémoire cache pour une machine symbolique.	JFPL	1993	DBLP BibTeX RDF
1	Pascal Bernard	Some elements of methods to deal with equivalences in specification and program development.	JFPL	1993	DBLP BibTeX RDF
1	Philippe Ézéquel (eds.)	2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France	JFPL	1993	DBLP BibTeX RDF
1	Laurent Henocque	Model search with equality: a language and incremental proof procedure for discourse analysis.	JFPL	1993	DBLP BibTeX RDF
1	Daniel Pacholczyk, Jean-Marc Pacholczyk	Une approche logique de la non-monotonie.	JFPL	1993	DBLP BibTeX RDF
1	Jacques Chassin de Kergommeaux	Systèmes de programmation logique OU parallèles.	JFPL	1993	DBLP BibTeX RDF
1	Ulrich Neumerkel	Une transformation de programme basée sur la notion d'équations entre termes.	JFPL	1993	DBLP BibTeX RDF
1	Frédéric Mesnard	Approximations entre langages de programmation logique avec contraintes.	JFPL	1993	DBLP BibTeX RDF
1	Jacques Malenfant, François-Nicolas Demers	Évaluation partielle pour l'implantation efficace de la réflexion de comportement.	JFPL	1993	DBLP BibTeX RDF
1	Yves Bekkers	Programmation d'ordre supérieur en lambda-Prolog.	JFPL	1993	DBLP BibTeX RDF
1	Christian Tahon, Gislaine Kozicki, Gérard Gorthcinsky	Un modèle de programmation séquencée pour les systèmes à process discontinu.	JFPL	1993	DBLP BibTeX RDF
1	Jean-Louis Imbert	Élimination de variables dans les systèmes de contraintes linéaires.	JFPL	1993	DBLP BibTeX RDF
1	Marc-Michel Corsini, Antoine Rauzy	CLP(beta) joue la transparence.	JFPL	1993	DBLP BibTeX RDF
1	Pascale Louvet	Mise en oeuvre d'un traducteur de lambda-Prolog et Llambda.	JFPL	1993	DBLP BibTeX RDF
1	Jean-Paul Delahaye, Philippe Mathieu	An achievement by part method to solve the incompleteness of forward chaining.	JFPL	1993	DBLP BibTeX RDF
1	Serge Le Huitouze, Pascale Louvet, Olivier Ridoux	Les grammaires logiques et lambda-Prolog.	JFPL	1993	DBLP BibTeX RDF
1	Julian Fowler	Preferred constraints as optimization.	JFPL	1993	DBLP BibTeX RDF
1	Christophe Varnier, Pierre Baptiste, Bruno Legeard	Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem».	JFPL	1993	DBLP BibTeX RDF
1	Kaninda Musumbu	Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques?	JFPL	1993	DBLP BibTeX RDF
1	André Chamard, F. Decès, Annie Fischler	Application du langage CHIP à un problème complexe d'ordonnancement.	JFPL	1992	DBLP BibTeX RDF
1	Christine Solnon, Michel Rueher	Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types.	JFPL	1992	DBLP BibTeX RDF
1	Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim (eds.)	JFPL'92, 1ères Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France	JFPL	1992	DBLP BibTeX RDF
1	Gilles Berger-Sabbatel, Abderrazak Jemai, Mohamed Benothman	Quelques résultats de mesures d'une implémentation de Prolog sur un processeur Mips.	JFPL	1992	DBLP BibTeX RDF
1	Frédéric Mesnard, Jean-Gabriel Ganascia	CLP(X) for proving prgram properties.	JFPL	1992	DBLP BibTeX RDF
1	Marianne Haberstrau	ECOLOG: un Environnement pour la programmation en LOgique COntrainte.	JFPL	1992	DBLP BibTeX RDF
1	Sylvie Calabretto, Pascal Yim	La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes.	JFPL	1992	DBLP BibTeX RDF
1	Jacques Malenfant	Architectures méta-réflexives en programmation logique par objets.	JFPL	1992	DBLP BibTeX RDF
1	Eric Vétillard	Expériences de parallélisme en Prolog III.	JFPL	1992	DBLP BibTeX RDF
1	H. Bourzoufi, Gilles Goncalves, Bernard Toursel	Un modèle de programmation logique OU-parallèle facilitant la prise en compte du travail spéculatif.	JFPL	1992	DBLP BibTeX RDF
1	Christophe Lecoutre, Philippe Devienne, Patrick Lebègue	Termination induction by means of an abstract OLDT resolution.	JFPL	1992	DBLP BibTeX RDF
1	Marc-Michel Corsini	Abstract interpretation can improve the efficiency of the bachtracking rule.	JFPL	1992	DBLP BibTeX RDF
1	Philippe Balbiani	Sur la finitude des dérivations de la programmation en logique.	JFPL	1992	DBLP BibTeX RDF
1	Olivier Lhomme	Programmation logique à contraintes et propagation d'intervalles.	JFPL	1992	DBLP BibTeX RDF
1	Chu Min Li, Paul Y. Gloess	Realizing an efficient and incremental access to an object oriented database with Prolog.	JFPL	1992	DBLP BibTeX RDF
1	Sadeph Saidi	Unification associative dans le langage de programmation grammaticale logique AFFLOG.	JFPL	1992	DBLP BibTeX RDF
1	Céline Rouveirol, Jean-Francois Puget	Approche logique de la généralisation en présence de théorie du domaine.	JFPL	1992	DBLP BibTeX RDF
1	Maurice Bruynooghe	Abstract interpretation for constraint logic programming.	JFPL	1992	DBLP BibTeX RDF
1	Ahmed Ferchichi	Spécification relationelle déductive de programmes logiques.	JFPL	1992	DBLP BibTeX RDF
1	Baudouin Le Charlier	Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite.	JFPL	1992	DBLP BibTeX RDF
1	Abderrahmane Aggoun, Nicolas Beldiceanu	Extending CHIP in order to solve complex scheduling and placement problems.	JFPL	1992	DBLP BibTeX RDF
1	Eric Wegrzynowski, Jean-Paul Delahaye	The grand loop semantics for logic programs.	JFPL	1992	DBLP BibTeX RDF
1	Mireille Ducassé	Analysis of failing Prolog Executions.	JFPL	1992	DBLP BibTeX RDF
1	Mounira Belmesk, Zineb Habbas	Une algèbre de processus pour la programmation logique parallèle.	JFPL	1992	DBLP BibTeX RDF
1	Igor Stéphan	L'inheritance near-Horn Prolog en Prolog.	JFPL	1992	DBLP BibTeX RDF
1	Bruno Legeard, Emmanuel Legros	Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS.	JFPL	1992	DBLP BibTeX RDF
1	Antoine Rauzy	Contraintes booléennes et gestion d'arbres des défaillances.	JFPL	1992	DBLP BibTeX RDF
1	D. Ranson, J. P. Lepape	BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques.	JFPL	1992	DBLP BibTeX RDF
1	Mark Wallace 0001	New trends in constraint logic Programming.	JFPL	1992	DBLP BibTeX RDF

Publications at "JFPL"( http://dblp.L3S.de/Venues/JFPL )