Rewrite systems < Rewriting < Rewriting Logic

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Rewriting

Number of relevant bibliographic references: 75.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
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
001875 (2012-10-30)	Karim Dahman [France]	Governance and Analysis of Business Processes Change Impact on Service Oriented Architectures: A Model-Driven Approach
002306 (2011-06-14)	Cody Roux [France]	Size-based termination: Semantics and generalizations
002481 (2011-01-05)	Cody Roux [France]	Refinement Types as Higher Order Dependency Pairs
002805 (2011)	Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Proving weak properties of rewriting
002A17 (2010-10-18)	Paul Bedaride [France]	Textual Entailment and Rewriting
002D71 (2010-04)	Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]	Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
003002 (2010)	Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo Homomorphic Encryption
003171 (2010)	Guillaume Burel [France] ; Claude Kirchner [France]	Regaining cut admissibility in deduction modulo using abstract completion
003995 (2009)	Guillaume Burel	Automating Theories in Intuitionistic Logic
003B88 (2009)	Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France]	Architecture of a morphological malware detector : EICAR 2008
003F56 (2008-06-13)	Pierre-Etienne Moreau [France]	Programming and Confidence
004146 (2008)	Benjamin Wack [France] ; Clement Houtmann [France]	Strong Normalization in two Pure Pattern Type Systems
005375 (2006)	Mathieu Turuani [France]	The CL-Atse Protocol Analyser
005407 (2006)	Olivier Bournez [France] ; Florent Garnier [France]	Proving Positive Almost Sure Termination Under Strategies
005425 (2006)	Frédéric Blanqui ; Claude Kirchner ; Colin Riba	On the Confluence of λ -Calculus with Conditional Rewriting
005431 (2006)	Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France]	Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
005471 (2006)	Yannick Chevalier [France] ; Michaël Rusinowitch [France]	Hierarchical Combination of Intruder Theories
005602 (2006)	Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]	Formal islands
005613 (2006)	Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]	Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies
005614 (2006)	Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]	Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures

---

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
}}

---

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