Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

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.
Véronique Legrand < W. Bousdira < W. C. Treurniet  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
003A63 (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.
003B76 (1990) W. Bousdira ; J.-L. RémyOn Sufficient Completeness of Conditional Specifications
003D47 (1989) W. BousdiraCase Reasoning in Completion of Conditional Rewriting Systems
003F19 (1988) W. BousdiraA Completion Procedure for Hierarchical Conditional Equations
003F21 (1988) W. BousdiraA Completion Procedure for Hierarchical Conditional Rewriting Systems
003F25 (1988) W. Bousdira ; J.-L. RémyREVEUR 4 : A Laboratory for Conditional Rewriting
003F75 (1988) W. Bousdira ; J.-L. RémyHierarchical Contextual Rewriting with Several Levels
003F85 (1988) W. Bousdira ; J.-L. RémyHierarchical contextual rewriting with several levels
004030 (1987) W. Bousdira ; J.-L. RémyComplétion des systèmes de réécriture conditionnelle
004091 (1987) W. Bousdira ; J.-L. RémyREVEUR 4 : A Laboratory for Conditional Rewriting
004170 (1986) W. BousdiraComplétion des systèmes de réécriture contextuelle

List of associated KwdEn.i

Nombre de
documents		Descripteur
7conditional rewriting
6completion
5hierarchical systems
4algebraic specifications
4theorem proving
3case reasoning
2algebraic specification
2contextual rewriting
2prototype
2sufficient completeness
1completion algorithm
1completion algorithms
1completion procedure
1conditional rewriting system
1conditional specification
1consistency
1ground confluence
1ground terms
1inference rules
1reducibility by case
1reductive conditional system
1structural scheme

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "W. Bousdira" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |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