Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « rewriting calculus »
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.
rewriting calculi < rewriting calculus < rewriting deduction verification  Facettes :

List of bibliographic references indexed by rewriting calculus

Number of relevant bibliographic references: 39.
[0-20] [0 - 20][0 - 39][20-38][20-40]
Ident.Authors (with country if any)Title
003669 (2009-03-22) Oana Andrei [Royaume-Uni] ; Helene Kirchner [France]A Port Graph Calculus for Autonomic Computing and Invariant Verification
003D71 (2008-11-05) Oana Andrei [France]A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
004075 (2008-03-03) Oana Andrei [France] ; Hélène Kirchner [France]Strategic Port Graph Rewriting for Autonomic Computing
004852 (2007-06-29) Oana Andrei [France] ; Hélène Kirchner [France]A Rewriting Calculus for Multigraphs with Ports
004A79 (2007) Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France]A Rho-Calculus of explicit constraint application
004B67 (2007) Clara Bertolissi [France] ; Claude Kirchner [France]The Rewriting Calculus as a Combinatory Reduction System
005158 (2006-04-01) Horatiu Cirstea [France] ; Clement Houtmann [France] ; Benjamin Wack [France]Distributive Rho-Calculus
005C52 (2005) Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
005E28 (2005) Paolo Baldan ; Clara Bertolissi ; Horatiu Cirstea ; Claude KirchnerA rewriting calculus for cyclic higher-order term graphs
005E71 (2005) Germain Faure ; Claude Kirchner ; Horatiu CirsteaA Rho-Calculus of explicit constraint application
006667 (2004-03-27) Luigi Liquori [France] ; Benjamin Wack [France]The Polymorphic Rewriting Calculus: Type checking vs. Type inference
006B40 (2004) Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewriting Calculus with Fixpoints: Untyped and First-Order Systems
006E68 (2004) Benjamin Wack [France]The Simply-typed Pure Pattern Type System Ensures Strong Normalization
006E81 (2004) Claude Kirchner [France]Strategic Rewriting
007382 (2003) Germain FaureCalcul de réécriture explicite
007473 (2003) Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin WackRewrite Strategies in the Rewriting Calculus
007556 (2003) Clara Bertolissi ; Horatiu Cirstea ; Claude KirchnerTranslating Combinatory Reduction Systems into the Rewriting Calculus
007F90 (2002-07-21) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France]The rho cube : some results, some problems
008135 (2002) Benjamin WackAspects typés du calcul de réécriture
008184 (2002) Quang Huy NguyenCalcul de réécriture et automatisation du raisonnement dans les assistants de preuve
008189 (2002) Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin WackThe rho cube : some results, some problems

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

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