Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « rewriting »
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.
rewrite systems < rewriting < rewriting and completion modulo equalities  Facettes :

List of bibliographic references indexed by rewriting

Number of relevant bibliographic references: 226.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
004B58 (2007) Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France]Towards an Automatic Analysis of Web Service Security
004E20 (2007) Yannick Chevalier [France] ; Denis Lugiez [France] ; Michael Rusinowitch [France]Toward an Automatic Analysis of Web Service Security
005038 (2006-08-15) Frédéric Blanqui [France]Higher-order dependency pairs
005039 (2006-08-15) Frédéric Blanqui [France] ; Solange Coupet-Grimal [France] ; William Delobel [France] ; Sébastien Hinderer [France] ; Adam Koprowski [Pays-Bas]CoLoR: a Coq library on rewriting and termination
005832 (2006) Frédéric Blanqui [France](HO)RPO Revisited
005883 (2005-10-07) Benjamin Wack [France]Type systems and deduction in the rewriting calculus
005923 (2005-09) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of rewriting strategies: a generic approach
005951 (2005-08) Sébastien Hinderer [France]Certification of Termination Proofs Using Polynomial Interpretations
005C37 (2005) Frédéric Blanqui [France]Inductive types in the Calculus of Algebraic Constructions
005D06 (2005) Sébastien HindererCertification of Termination Proofs Using Polynomial Interpretations
005D07 (2005) Frédéric BlanquiDecidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations
005E34 (2005) Frederic BlanquiDefinitions by Rewriting in the Calculus of Constructions
005F28 (2005) Isabelle Gnaedig ; Hélène KirchnerTermination of rewriting strategies : a generic approach
006002 (2005) Hejer RejebPreuve inductive de terminaison faible : vers une implantation
006114 (2005) Frédéric Blanqui [France]Definitions by rewriting in the Calculus of Constructions
006271 (2005) Frédéric Blanqui [France]Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
006740 (2004) Liliana IbanescuProgrammation par règles et stratégies pour la génération automatique de mécanismes de combustion d'hydrocarbures polycycliques
006778 (2004) Frederic BlanquiA type-based termination criterion for dependently-typed higher-order rewrite systems
006875 (2004) Horatiu Cirstea ; Pierre-Etienne Moreau ; Antoine ReillesRule based programming in Java for protocol verification
006897 (2004) Yannick ChevalierA Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
006B10 (2004) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Distributivity Axioms

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 "rewriting" 

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