Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « réécriture »
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.
réutilisation < réécriture < réécriture de terme graphes  Facettes :

List of bibliographic references indexed by réécriture

Number of relevant bibliographic references: 31.
[0-20] [0 - 20][0 - 31][20-30][20-40]
Ident.Authors (with country if any)Title
005B70 (2005) Benjamin WackTypage et déduction dans le calcul de réécriture
006645 (2004-06) Yannick Chevalier [France] ; Laurent Vigneron [France]Rule-based Programs describing Internet Security Protocols
006E68 (2004) Benjamin Wack [France]The Simply-typed Pure Pattern Type System Ensures Strong Normalization
006E96 (2004) Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Rule based programming in Java for protocol verification
006F07 (2004) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak termination also provides the right way to terminate - Extended version -
007095 (2004) Frédéric Blanqui [France]A type-based termination criterion for dependently-typed higher-order rewrite systems
007098 (2004) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]A proof of weak termination providing the right way to terminate
007256 (2003-06) Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France]A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
007454 (2003) Hubert Comon-Lundh [France] ; Paliath Narendran [États-Unis] ; Robert Nieuwenhuis ; Michaël Rusinowitch [France]Deciding the Confluence of Ordered Term Rewrite Systems
007E95 (2003) Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian VittekA Pattern Matching Compiler for Multiple Target Languages
007F45 (2002-10) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]CARIBOO: An Induction Based Proof Tool for Termination with Strategies
008010 (2002-07) Olivier Bournez [France] ; Claude Kirchner [France]Probabilistic rewrite strategies. Applications to ELAN
008015 (2002-07) David Déharbe ; Anamaria Martins Moreira ; Christophe Ringeissen [France]Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
008020 (2002-07) Eric Deplagne [France] ; Claude Kirchner [France]Deduction versus Computation: the Case of Induction
008804 (2002) Quang Huy Nguyen ; Claude Kirchner ; Hélène KirchnerExternal Rewriting for Skeptical Proof Assistants
008A92 (2002) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Outermost ground termination - Extended version
008B44 (2002) Quang-Huy Nguyen [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]External rewriting for skeptical proof assistants (extended version)
008C92 (2001-06) Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France]Verification of Timed Automata Using Rewrite Rules and Strategies
008C93 (2001-06) Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France]Verification of Timed Automata Using Rewrite Rules and Strategies
008D21 (2001-03) Horatiu Cirstea [France]Specifying Authentication Protocols Using Rewriting and Strategies
009195 (2001) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Induction for termination with local 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/KwdEn.i -k "réécriture" 

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