home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!utcsri!skule.ecf!torn!spool.mu.edu!cass.ma02.bull.com!mips2!bull.bull.fr!julienas!seti!margaux.inria.fr
- From: kesner@margaux.inria.fr (Delia Kesner)
- Newsgroups: fnet.seminaires
- Subject: Jeudi 4 fevrier a Orsay
- Message-ID: <4873@seti.inria.fr>
- Date: 21 Jan 93 09:53:52 GMT
- Sender: news@seti.inria.fr
- Distribution: fnet
- Lines: 43
- Approved: werner@margaux.inria.fr
- Jour: 04/02/93
- Lieu: Orsay
-
-
-
-
-
- ===========================================
- S E M I N A I R E D E M O N S
- ===========================================
-
-
- Jeudi 4 fevrier, 10h30
-
- Salle 90 du Bat 490
-
- Universite d'Orsay
-
-
-
- ---------------------
- Mohamed Tajine
- ---------------------
-
- Centre de Recherche en Informatique
- de l'Universite Louis Pasteur
- Strasbourg
-
- ====================================================
- Elimination de la negation dans les formules
- equationnelles syntaxiques
- ====================================================
-
-
-
- Soit A une F-algebre, un sous ensemble B de A est dit finiment
- engendre dans A s'il existe un ensemble fini G de fonctions obtenuent
- en composant les elements de F et en identifiant certaines variables
- tel que B soit la reunion des images des elements de G ( B = < G >A ).
-
- Mon expose portera sur la decidabilite de ce probleme dans le cas
- particulier ou A est l'univers de Herbrand et B est l'ensemble des
- solutions d'une formule equationnelle syntaxique ( une formule de
- premier ordre dont l'egalite syntaxique et le seule symbole de
- predicat ) Je terminerai mon expose par quelques "extentions"
- recentes.
-