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 « 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.
rewrites < rewriting < rewritings  Facettes :

List of bibliographic references indexed by rewriting

Number of relevant bibliographic references: 883.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000065 (2016-02-22) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France]Closed combination of context-embedding iterative strategies
000237 (2015-11-10) Houari Mahfoud [Algérie] ; Abdessamad Imine [France]Efficient Querying of XML Data Through Arbitrary Security Views
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
000614 (2015-03-09) Emilie Balland [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France]Bringing Strategic Rewriting into the Mainstream
000627 (2015-02-24) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000662 (2015-01-01) Marco Gaboardi [France] ; Romain Péchoux [France]On Bounding Space Usage of Streams Using Interpretation Analysis
000686 (2015) Guillaume Bonfante [France] ; Florian Deloup [France] ; Antoine Henrot [France]Real or Natural numbers interpretations and their effect on complexity
000808 (2015) Bruno Guillaume [France] ; Guy Perrier [France]Dependency Parsing with Graph Rewriting
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
000844 (2014-12-08) Hernán Vanzetto [France]Proof automation and type synthesis for set theory in the context of TLA+
000863 (2014-12) Maxime Bride [France] ; Pierre-Cyrille Héam [France] ; Isabelle Jacques [France]Computing Semicommutation Closures: a Machine Learning Approach
000885 (2014-11-03) Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France]A Symbolic Transformation Language and its Application to a Multiscale Method
000952 (2014-09-12) Jean-Christophe Bach [France]A formal Island for qualifiable model transformations
000A77 (2014-06-30) Vassili Rivron [France]Social Media and Linguistic Affirmation in Central Africa.
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
000D08 (2014-01-03) Bin Yang [France] ; Walid Belkhir [France] ; Michel Lenczner [France]Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework
000F52 (2013-11-01) David Galindo [France]A note on an IND-CCA2 secure Paillier-based cryptosystem
000F96 (2013-10-09) Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]SVMAX: a system for secure and valid manipulation of XML data

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.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=    AbsEn.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