Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « W. Bousdira »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
W. Belkhir < W. Bousdira < W. Brauer  Facettes :

List of bibliographic references indexed by W. Bousdira

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
00DB18 (1990) W. BousdiraEtude des propriétés des systèmes de réécriture conditionnelle. Mise en oeuvre de deux algorithmes de test de confluence sur les termes clos.
00DC31 (1990) W. Bousdira ; J.-L. RémyOn Sufficient Completeness of Conditional Specifications
00DF16 (1989) W. BousdiraCase Reasoning in Completion of Conditional Rewriting Systems
00E198 (1988) W. BousdiraA Completion Procedure for Hierarchical Conditional Equations
00E200 (1988) W. BousdiraA Completion Procedure for Hierarchical Conditional Rewriting Systems
00E204 (1988) W. Bousdira ; J.-L. RémyREVEUR 4 : A Laboratory for Conditional Rewriting
00E254 (1988) W. Bousdira ; J.-L. RémyHierarchical Contextual Rewriting with Several Levels
00E264 (1988) W. Bousdira ; J.-L. RémyHierarchical contextual rewriting with several levels
00E423 (1987) W. Bousdira ; J.-L. RémyComplétion des systèmes de réécriture conditionnelle
00E484 (1987) W. Bousdira ; J.-L. RémyREVEUR 4 : A Laboratory for Conditional Rewriting
00E665 (1986) W. BousdiraComplétion des systèmes de réécriture contextuelle

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "W. Bousdira" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "W. Bousdira" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    W. Bousdira
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022