home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / fnet / seminair / 93 < prev    next >
Encoding:
Internet Message Format  |  1993-01-24  |  1.8 KB

  1. Path: sparky!uunet!utcsri!skule.ecf!torn!spool.mu.edu!cass.ma02.bull.com!mips2!bull.bull.fr!julienas!seti!margaux.inria.fr
  2. From: kesner@margaux.inria.fr (Delia Kesner)
  3. Newsgroups: fnet.seminaires
  4. Subject: Jeudi 4 fevrier a Orsay
  5. Message-ID: <4873@seti.inria.fr>
  6. Date: 21 Jan 93 09:53:52 GMT
  7. Sender: news@seti.inria.fr
  8. Distribution: fnet
  9. Lines: 43
  10. Approved: werner@margaux.inria.fr
  11. Jour: 04/02/93
  12. Lieu: Orsay
  13.  
  14.  
  15.  
  16.  
  17.  
  18.            ===========================================
  19.                 S E M I N A I R E   D E M O N S
  20.            ===========================================
  21.  
  22.  
  23.                     Jeudi 4 fevrier, 10h30
  24.  
  25.                       Salle 90 du Bat 490
  26.  
  27.                        Universite d'Orsay
  28.  
  29.  
  30.  
  31.                       ---------------------
  32.                          Mohamed Tajine
  33.                       ---------------------
  34.  
  35.               Centre de Recherche en Informatique
  36.                  de l'Universite Louis Pasteur
  37.                           Strasbourg
  38.  
  39.        ====================================================
  40.            Elimination de la negation dans les formules
  41.                   equationnelles syntaxiques
  42.        ====================================================
  43.  
  44.        
  45.  
  46. Soit A une F-algebre,  un  sous  ensemble  B  de A  est  dit  finiment
  47. engendre dans A s'il  existe un ensemble fini G de fonctions obtenuent
  48. en composant les elements de  F et en identifiant  certaines variables
  49. tel que B soit la reunion des images des elements de G ( B = < G >A ).
  50.  
  51. Mon expose portera sur la  decidabilite de ce  probleme  dans  le  cas
  52. particulier  ou  A est l'univers de  Herbrand et  B est l'ensemble des
  53. solutions  d'une  formule equationnelle  syntaxique ( une  formule  de
  54. premier  ordre  dont  l'egalite syntaxique  et  le  seule  symbole  de
  55. predicat  )  Je  terminerai  mon  expose  par  quelques   "extentions"
  56. recentes.
  57.