Keywords
Corpus
Crin
Racine
Corpus
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

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

Index « Keywords » - entrée « strategies »
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.
strategie < strategies < strategies of space coding  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000368 (1986) J.-P. Finance ; C. Gresse ; P. Jacquet ; G.-R. Perrin ; A. QuéréRaisonner pour programmer
001021 (1992) E. MonfroyGröbner Bases : Strategies and Applications
002335 (1998) Hubert Dubois ; Hélène KirchnerActions and Plans in ELAN
002580 (1999) Didier GalmicheProof Plans and Proof Nets in Linear Logic -Abstract -
002731 (1999) Horatiu CirsteaSpecifying Authentication Protocols Using ELAN
002769 (1999) Horatiu Cirstea ; Claude KirchnerUsing Rewriting and Strategies for Describing the B Predicate Prover
002880 (1999) Claude KirchnerThe rewriting calculus as a semantics to strategy application. Application to ELAN.
002C14 (2000) Hélène Kirchner ; Isabelle GnaedigTermination and normalisation under strategies--Proofs in ELAN
002D65 (2001) Helene Kirchner ; Pierre-Etienne MoreauPromoting Rewriting to a Programming Language : A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
002F28 (2001) Hubert DuboisSystèmes de Règles de Production et Calcul de Réécriture
003152 (2001) Hélène KirchnerPrototyping and verfication with rules and strategies
003592 (2002) Hubert Dubois ; Hélène KirchnerObject Programming in a Rule-Based Language with Strategies
003990 (2003) Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin WackRewrite Strategies in the Rewriting Calculus
003A83 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerSimplification and Termination of Strategies in Rule-Based Languages
003A84 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerTermination of ELAN strategies by simplification - Extended version -
003B22 (2003) Antoine ReillesRéécriture dans un cadre concurrent
003B60 (2003) Olivier FissoreTerminaison de la réécriture sous stratégies
003B77 (2003) Stéphane HionEtude d'un bus logiciel basé sur la réécriture

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "strategies" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "strategies" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    strategies
}}
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