Reward < Rewriting < Rewriting calculus

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

Number of relevant bibliographic references: 57.
[20-40] [0 - 20][0 - 50][40-56][40-60]

Ident.	Authors (with country if any)	Title
000633 (2004)	Frédéric Blanqui [France]	A type-based termination criterion for dependently-typed higher-order rewrite systems
000677 (2003)	Olivier Bournez [France] ; Mathieu Hoyrup [France]	Rewriting Logic and probabilities
000679 (2003)	Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Pure patterns Type systems
000680 (2003)	Michaël Rusinowitch [France] ; Mathieu Turuani [France]	Protocol insecurity with a finite number of sessions and composed keys is NP-complete
000681 (2003)	Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France]	Proof search and proof check for equational and inductive theorems
000686 (2003)	Sylvain Salvati [France] ; Philippe De Groote [France]	On the complexity of higher-order matching in the linear λ-Calculus
000707 (2003)	Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]	Environments for term rewriting engines for free!
000721 (2003)	Olivier Bournez [France] ; Guy-Marie Come [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ibanescu [France]	Automated generation of kinetic chemical mechanisms using rewriting
000731 (2003)	Olivier Bournez [France] ; Guy-Marie Come [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ibanescu [France]	A rule-based approach for automated generation of kinetic chemical mechanisms
000767 (2002)	M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France]	The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration
000779 (2002)	Olivier Bournez [France] ; Claude Kirchner [France]	Probabilistic rewrite strategies. Applications to ELAN
000788 (2002)	Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France]	Observational proofs by rewriting
000808 (2002)	Germain Faure [France] ; Claude Kirchner [France]	Exceptions in the rewriting calculus
000809 (2002)	Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]	ELAN from a rewriting logic point of view
000813 (2002)	Eric Deplagne [France] ; Claude Kirchner [France]	Deduction versus computation: The case of induction
000822 (2002)	Silvio Ranise [France]	Combining generic and domain specific Reasoning by using contexts
000877 (2001)	Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]	The Rho cube
000879 (2001)	Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [Italie, France]	System description : RDL rewrite and decision procedure laboratory
000881 (2001)	Horatiu Cirstea [France]	Specifying authentication protocols using rewriting and strategies
000A18 (2000)	Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]	Compiling and verifying security protocols
000B29 (1998)	H. Cirstea [France] ; C. Kirchner [France]	The rewriting calculus as a semantics of ELAN

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i -k "Rewriting" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Rewriting" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |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