AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AbsEn.i » - entrée « rewrite »
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.
reworking < rewrite < rewrites  Facettes :

List of bibliographic references indexed by rewrite

Number of relevant bibliographic references: 547.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000318 (2015-09-21) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Rewriting Approach to the Combination of Data Structures with Bridging Theories
000517 (2015-06) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000627 (2015-02-24) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000664 (2015-01-01) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Characterizing polynomial time complexity of stream programs using interpretations
000840 (2014-12-09) Ali Assaf [France] ; Alejandro Díaz-Caro [Argentine] ; Simon Perdrix [France] ; Christine Tasson [France] ; Benoît Valiron [France]Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
000846 (2014-12-07) Achraf Ben Romdhane [Tunisie] ; Salma Jamoussi [Tunisie] ; Abdelmajid Ben Hamadou [Tunisie] ; Kamel Smaïli [France]Phrase-based Language Modelling for Statistical Machine Translation
000B57 (2014-05-18) Steve Kremer [France] ; Robert Künnemann [France]Automated Analysis of Security Protocols with Global State
000C53 (2014-03-05) Steve Kremer [France] ; Robert Künnemann [Allemagne]Automated analysis of security protocols with global state
000C75 (2014-02-18) Houari Mahfoud [France]Efficient Access Control to XML Data: Querying and Updating Problems
000D26 (2014) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001047 (2013-08-29) Romain Péchoux [France]Bounding Reactions in the Pi-calculus using Interpretations
001074 (2013-08-08) Claire Gardent [France] ; Shashi Narayan [France]Generating Elliptic Coordination
001140 (2013-06-27) Florent Jacquemard [France] ; Michaël Rusinowitch [France]Unranked tree rewriting and effective closures of languages
001260 (2013-04-02) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001344 (2013) Mathieu Baudet [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]YAPA: A generic tool for computing intruder knowledge
001499 (2013) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001525 (2013) Houari Mahfoud [France] ; Abdessamad Imine [France]On Securely Manipulating XML Data
001526 (2013) Christopher Bouchard [États-Unis] ; Kimberly A. Gero [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis]On Forward Closure and the Finite Variant Property
001599 (2013) Takahito Aoto [Japon]Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering

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/AbsEn.i -k "rewrite" 

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