Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « A. Bouhoula »
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.
A. Bonneau < A. Bouhoula < A. Bray  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
000969 (2000) A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [France] ; J. Meseguer [États-Unis]Specification and proof in membership equational logic
000B41 (1998) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]Observational proofs with critical contexts
000C08 (1997) A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [États-Unis, France] ; J. Meseguer [États-Unis]Specification and proof in membership equational logic
000C73 (1996) A. Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications
000C78 (1996) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]SPIKE-AC : A system for proofs by induction in associative-commutative theories
000D04 (1996) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowtich [France]Automated verification by induction with associative-commutative operators

List of associated FC03.fr.i

Nombre de
documents		Descripteur
2Complétude
2Démonstration théorème
2Informatique théorique
2Règle inférence
2Réécriture
2Spécification algébrique
2Théorie preuve
1Additionneur
1Appartenance
1Automate arbre
1Automate fini
1Calcul symbolique
1Confluence
1Consistance sémantique
1Déduction
1Développement logiciel
1Génie logiciel
1Implémentation
1Induction
1Logique
1Logique équationnelle d'appartenance
1Multiplicateur
1Parametrized conditional specification
1Preuve programme
1Règle déduction
1Spécification Church Rosser
1Spécification formelle
1Symétrie
1Système réécriture
1Sémantique opérationnelle
1Théorie langage
1Théorie programmation
1Théorie équationnelle
1Transitivite
1Unification
1Validation
1Vérification

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "A. Bouhoula" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "A. Bouhoula" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    A. Bouhoula
}}
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