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.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000686 (2015) Guillaume Bonfante [France] ; Florian Deloup [France] ; Antoine Henrot [France]Real or Natural numbers interpretations and their effect on complexity
000952 (2014-09-12) Jean-Christophe Bach [France]A formal Island for qualifiable model transformations
001C17 (2012-03-02) Cláudia Tavares [France]A type system for embedded rewriting programming
001F65 (2011-12-09) Guillaume Bonfante [France]Implicit computational complexity : program interpretations
002004 (2011-11-14) Philippe Beaucamps [France]Analysis of Malware by Behavior Abstraction
002805 (2011) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
002979 (2010-11-01) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Abstraction in Malware Analysis
002B39 (2010-08-12) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Abstraction in Malware Analysis - Extended Version
002D97 (2010-03-12) Clément Houtmann [France]Representation and interaction of proofs in superdeduction modulo
003171 (2010) Guillaume Burel [France] ; Claude Kirchner [France]Regaining cut admissibility in deduction modulo using abstract completion
003317 (2009-11-27) Christophe Ringeissen [France]Equational reasoning and combination methods: from programs to proofs
003325 (2009-11-18) Véronique Cortier [France]Analysis of cryptographic protocols: from symbolic to computational models
003335 (2009-11-06) Paul Bedaride [France] ; Claire Gardent [France]Noun/Verb Inference
003413 (2009-09-07) Frédéric Blanqui [République populaire de Chine] ; Cody Roux [France]On the relation between sized-types based termination and semantic labelling
003674 (2009-03-11) Emilie Balland [France]Design of a programming language dedicated to program analysis and transformation
003767 (2009) Yves Guiraud [France] ; Philippe Malbos [France]Higher-dimensional categories with finite derivation type
003E48 (2008-09-15) Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]The computability path ordering: the end of a quest
004590 (2008) Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France]Constraints-based Verification of Parameterized Cryptographic Protocols.
004738 (2007-09-17) Florent Garnier [France]Termination within a finite mean time of probabilistic rules based systems
004B56 (2007) Guillaume Burel [France]Unbounded Proof-Length Speed-Up in Deduction Modulo
004B58 (2007) Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France]Towards an Automatic Analysis of Web Service Security

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