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 « H. Zhang »
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.
H. Wakita < H. Zhang < Ha Duong Phan Ti  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
004338 (1985) H. Zhang ; Pierre Lescanne [France]Extended path of symbols ordering
004362 (1985) E. Kounalis ; H. ZhangTesting completeness of conditional specifications
004381 (1985) J.-L. Rémy ; H. ZhangREVEUR 4 : a system to proceed experiments on conditional term rewriting systems
004386 (1985) E. Kounalis ; H. ZhangA general completeness test for equational specifications
004388 (1985) H. Zhang ; J.-L. RémyContextual rewriting
004409 (1984) H. ZhangValidation des types abstraits par tests
004434 (1984) H. ZhangREVEUR 4 : étude et mise en œuvre de la réécriture conditionnelle
004489 (1984) J.-L. Rémy ; H. ZhangREVE 4 : a system to validate conditional algebraic specifications of parameterized abstract data types

List of associated KwdEn.i

Nombre de
documents		Descripteur
4algebraic specification
3algebraic specifications
2completeness
2conditional rewriting
2contextual completion
2data types
2hierarchical systems
2theorem proving
1Knuth-Bendix algorithm
1abstract data types
1automatic proving
1conditional term rewriting systems
1conditional theories
1confluence
1contextual rewriting
1contexture completion
1equational conditional term rewriting systems
1equational term rewriting systems
1equational theories
1rewriting
1rewriting system
1simplification ordering
1term rewriting systems
1termination of rewriting system
1tests

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 "H. Zhang" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "H. Zhang" \
         | 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é=    H. Zhang
}}
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