Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Titre (en) » - 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 < rewriting < rewritings  Facettes :

List of bibliographic references indexed by rewriting

Number of relevant bibliographic references: 350.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
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
000808 (2015) Bruno Guillaume [France] ; Guy Perrier [France]Dependency Parsing with Graph Rewriting
000D08 (2014-01-03) Bin Yang [France] ; Walid Belkhir [France] ; Michel Lenczner [France]Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework
001140 (2013-06-27) Florent Jacquemard [France] ; Michaël Rusinowitch [France]Unranked tree rewriting and effective closures of languages
001289 (2013-03) Guillaume Bonfante [France] ; Bruno Guillaume [France]Non-simplifying Graph Rewriting Termination
001471 (2013) Cynthia Kop [Autriche] ; Naoki Nishida [Japon]Term Rewriting with Logical Constraints
001599 (2013) Takahito Aoto [Japon]Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
001752 (2013) Guillaume Bonfante [France] ; Bruno Guillaume [France]Non-size increasing Graph Rewriting for Natural Language Processing
001955 (2012-09-10) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Abstraction-based Malware Analysis Using Rewriting and Model Checking
001B26 (2012-05-22) Guy Perrier [France] ; Bruno Guillaume [France]Semantic Annotation of the French Treebank with Modular Graph Rewriting
001B81 (2012-04-02) B. Yang [France] ; W. Belkhir [France] ; R. N. Dhara [France] ; A. Giorgetti [France] ; M. Lenczner [France]Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures
001C17 (2012-03-02) Cláudia Tavares [France]A type system for embedded rewriting programming
001C64 (2012) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]String rewriting and security analysis: an extension of a result of Book and Otto
001F85 (2011-11-29) François Prugniel [France] ; Pierre-Etienne Moreau [France] ; Horatiu Cirstea [France]A constraint language for algebraic term based on rewriting theory
001F94 (2011-11-22) Cláudia Tavares [France]A type system for embedded rewriting languages with associative pattern matching: from theory to practice
002333 (2011-05-29) Walid Belkhir [France] ; Alain Giorgetti [France]Lazy AC-Pattern Matching for Rewriting
002335 (2011-05-29) Walid Belkhir [France] ; Alain Giorgetti [France]Lazy Rewriting Modulo Associativity and Commutativity
002351 (2011-05-19) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version

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/Title.i -k "rewriting" 

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