Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 1992

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017


Divers (21)


[JLF36]
J-L. Fouquet et V. Giakoumakis, On $P_k$-free bipartite graphs, in Comptes rendus du colloque d'Amiens..., juin, 1992 Bibtex entry
[DB1]
G. Desrocques et J-C. Bassano , R\éseaux neuronaux et informatique documentaire, in Conf\érence d\ébat Saisie et compr\éhension intelligente des documents, SENAT, janvier, 1992 Bibtex entry
[DB2]
G. Desrocques et J-C. Bassano , M\éthodes du recuit simul\é appliqu\ées au Langage Naturel., Bulletin du Centre Informatique de Documentation, CID, Vol.3ème trimestre , pp. 7-16, 1992 Bibtex entry
[DF92a]
P. Deransart et G. Ferrand , An Operational Formal Definition of PROLOG: a Specification Method and its Application., New Generation Computing, Ohmsha Ltd and Springer Verlag, Vol.10, pp. 121-171, 1992 Bibtex entry
[VI.92]
B. Virot, Parallel Annealing by Multiple Trials, Chapitre 8, pp.109-127, in Simulated Annealing: Parallelization Techniques, R. Azencott ed., John Wiley, 1992 Bibtex entry
[DE92]
A. Ed-dbali et P. Deransart., Software Formal Specification by Logic Programming: the example of Standard Prolog., in LPSS'92 (Logic Programming Summer School), Zurich, september , 1992, Note: Published in Logic Programming in Action - Lecture Notes in Artificial Intelligence 636 - Springer Verlag 1992. Bibtex entry
[DE92-rap]
A. Ed-dbali et P. Deransart., Software Formal Specification by Logic Programming: the example of Standard Prolog., Rapport de recherche, No.92-8, LIFO, 1992 Bibtex entry
[DF92b]
G. Ferrand et P. Deransart, Proof method of partial correctness and weak completeness for normal logic programs., in JICSLP'92 (Joint International Conference and Symposium on Logic Programming), Washington DC, MIT Press, november, 1992 Bibtex entry
[FV92]
G. Fouqu\é et C. Vrain, Building a Tool for Software Code Analysis, A Machine Learning Approach, in 4th Conference on Advanced Information Systems Engineering, Manchester, UK, 12-15 May, 1992 Bibtex entry
[kn:icde92]
D. Laurent, V. Phan Luong et N. Spyratos, Deleted Tuples are Useful when Updating through Universal Scheme Interfaces, in 8$^\hbox\small th$ IEEE ICDE International Conference on Data Engineering, Phoenix, 1992 Bibtex entry
[JLF32]
E. Flandrin, J-L. Fouquet et H. Li, On hamiltonian biclaw-free graphs, in Twente Colloquium , 1992 Bibtex entry
[BousdiraRemy92]
W.Bousdira et J-L. R\émy, A Ground Confluence Proof Based on Case Reasoning, Rapport de recherche, No.92-7, LIFO-CRIN, 1992 Bibtex entry
[kn:tods]
D. Laurent, V. Phan Luong et N. Spyratos, The Use of Deleted Tuples in Database Querying and Updating, Rapport de recherche, No.92-5, LIFO, 1992 Bibtex entry
[chabinrety]
J. Chabin et P. R\éty, Directed Narrowing Including Merging, Rapport de recherche, No.92-1, LIFO, 1992 Bibtex entry
[lacrampeligou]
J-J. Lacrampe et M. Ligou, Une Machine \Équitable pour Implanter S3L , Rapport de recherche, No.92-2, LIFO, 1992 Bibtex entry
[ananthandria]
S. Anantharaman et N. Andrianarivelo , A Complete Semi-decision Procedure for Horn Theories, Rapport de recherche, No.92-3, LIFO, 1992 Bibtex entry
[ferrandderansart]
G. Ferrand et P. Deransart , Proof Method of Partial Correctness and Partial Completeness for Normal Logic Program, Rapport de recherche, No.92-4, LIFO, 1992 Bibtex entry
[nardin]
B. Nardin, Divers Aspects de l'\Équit\é dans un Langage Fonctionnel S3L, Rapport de recherche, No.92-9, LIFO, 1992 Bibtex entry
[laurent92]
D. Laurent, V. Phan Luong et N. Spyratos, Updating Intensional Predicates in Deductive Databases, Rapport de recherche, No.92-10, LIFO, 1992 Bibtex entry
[lacrampe]
J-J. Lacrampe, S3L à Tire d'Ailes, Rapport de recherche, No.92-11, LIFO, 1992 Bibtex entry
[ensemble]
, Actes de la Journ\ée Ensemble (09/04/92), Rapport de recherche, No.92-12, LIFO, 1992 Bibtex entry



22/6/2010. Généré par biblifo, un programme Objective Caml.