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

Index « KwdFr.i » - entrée « stratégie »
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.
stratification < stratégie < stratégie d'analyse  Facettes :

List of bibliographic references indexed by stratégie

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]
Ident.Authors (with country if any)Title
002918 (2010-12-06) Manuel Schneewele [France] ; Isabelle Cherqui-Houot [France] ; Samuel Nowakowski [France] ; Marc Trestini [France] ; Antoine Zapata [France] ; Ecaterina Pacurar [France]Implantation d'un E.N.T. dans l'enseignement secondaire, analyse et modélisation des usages : le cas lorrain
004738 (2007-09-17) Florent Garnier [France]Termination within a finite mean time of probabilistic rules based systems
007441 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Outermost ground termination
007C24 (2003) Liliana Ibanescu [France] ; Hélène Kirchner [France] ; Olivier Bournez [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie ConraudProjet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5
007C25 (2003) Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie ConraudProjet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4
007C55 (2003) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Innermost sufficient completeness
007D66 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak termination also provides the right way to terminate
007D67 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak termination also provides the right way to terminate - extended version -
008018 (2002-07) Germain Faure [France] ; Claude Kirchner [France]Exceptions in the rewriting calculus
008970 (2002) Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie ConraudProjet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3
008971 (2002) Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie ConraudProjet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2
008A92 (2002) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Outermost ground termination - Extended version
008B25 (2002) Isabelle Gnaedig [France] ; Olivier Fissore [France] ; Hélène Kirchner [France]Induction for weak termination
008E10 (2001) Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France]Rewriting with strategies in ELAN: a functional semantics
009488 (2001) Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie ConraudProjet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 1
009587 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France]Rewriting and Multisets in Rho-calculus and ELAN
009762 (2000-08) Horatiu Cirstea [France] ; Claude Kirchner [France]Rewriting and Multisets in the Rewriting Calculus and ELAN
00A148 (2000) Hubert Dubois [France] ; Hélène Kirchner [France]Rules, strategies and objects in ELAN
00A179 (2000) Hubert Dubois [France] ; Hélène Kirchner [France]Objects, rules and strategies in ELAN
00A467 (1999) Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France]Rewriting with strategies in ELAN: a functional semantics
00AC36 (1999) Hubert Dubois [France] ; Hélène Kirchner [France]Rule Based Programming with Constraints and Strategies

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/KwdFr.i -k "stratégie" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i  \
                -Sk "stratégie" \
         | 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=    KwdFr.i
   |clé=    stratégie
}}

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