Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

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 locales  Facettes :

List of bibliographic references indexed by strategies

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]
Ident.Authors (with country if any)Title
000614 (2015-03-09) Emilie Balland [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France]Bringing Strategic Rewriting into the Mainstream
000E23 (2014) Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Effective strategic programming for Java developers
004738 (2007-09-17) Florent Garnier [France]Termination within a finite mean time of probabilistic rules based systems
007336 (2003) Stéphane HionEtude d'un bus logiciel basé sur la réécriture
007363 (2003) Olivier FissoreTerminaison de la réécriture sous stratégies
007402 (2003) Antoine ReillesRéécriture dans un cadre concurrent
007473 (2003) Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin WackRewrite Strategies in the Rewriting Calculus
007572 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerSimplification and Termination of Strategies in Rule-Based Languages
007630 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerTermination of ELAN strategies by simplification - Extended version -
008503 (2002) Hubert Dubois ; Hélène KirchnerObject Programming in a Rule-Based Language with Strategies
008D69 (2001) Hubert DuboisSystèmes de Règles de Production et Calcul de Réécriture
008E38 (2001) Helene Kirchner ; Pierre-Etienne MoreauPromoting Rewriting to a Programming Language : A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
009080 (2001) Hélène KirchnerPrototyping and verfication with rules and strategies
009597 (2001) Hélène Kirchner [France]Prototyping and verfication with rules and strategies
009A81 (2000) Hélène Kirchner ; Isabelle GnaedigTermination and normalisation under strategies--Proofs in ELAN
009E09 (2000) Carlos Castro [Chili] ; Peter Borovansk [Slovaquie]The use of a strategy language for solving search problems
00A594 (1999) Claude KirchnerThe rewriting calculus as a semantics to strategy application. Application to ELAN.
00A608 (1999) Horatiu CirsteaSpecifying Authentication Protocols Using ELAN
00A701 (1999) Didier GalmicheProof Plans and Proof Nets in Linear Logic -Abstract -
00A746 (1999) Horatiu Cirstea ; Claude KirchnerUsing Rewriting and Strategies for Describing the B Predicate Prover
00B143 (1998) Hubert Dubois ; Hélène KirchnerActions and Plans in ELAN

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/KwdEn.i -k "strategies" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "strategies" \
         | 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=    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