1571-0653 < 1571-0661 < 1572-0218

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

List of bibliographic references

Number of relevant bibliographic references: 31.
[0-20] [0 - 20][0 - 31][20-30][20-40]

Ident.	Authors (with country if any)	Title
001D11 (2001)	J.-Y. Moyen [France]	System Presentation
001D36 (2001)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Induction for termination with local strategies
001D50 (2001)	Quang-Huy Nguyen [France]	Compact Normalisation Trace via Lazy Rewriting
001D51 (2001)	Quang-Huy Nguyen [France]	Certifying Term Rewriting Proofs in ELAN
001D64 (2001)	Eelco Visser [Pays-Bas]	A Survey of Rewriting Strategies in Program Transformation Systems
001D65 (2001)	Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie]	A Pattern-Matching Compiler
001F57 (2000)	Horatiu Cirstea [France] ; Claude Kirchner [France]	The simply typed rewriting calculus
001F59 (2000)	Hélène Kirchner [France] ; Isabelle Gnaedig [France]	Termination and normalisation under strategy Proofs in ELAN
001F64 (2000)	Carlos Castro [France]	Solving Binary CSP Using Computational Systems
001F71 (2000)	D. Galmiche [France] ; J. M. Notin [France]	Proof-search and Proof Nets in Mixed Linear Logic
001F72 (2000)	José Meseguer	Preface
001F73 (2000)	D. Galmiche	Preface
001F93 (2000)	Patrick Viry [Italie]	Input/Output for ELAN
001F98 (2000)	Christophe Ringeissen [France]	Handling Relations over Finite Domains in the Rule-Based System ELAN
002004 (2000)	Peter Borovansk ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Marian Vittek	ELAN
002008 (2000)	Peter Borovansk [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Controlling Rewriting by Rewriting
002019 (2000)	M. G. J. Van Den Brand [Pays-Bas] ; C. Ringeissen [France]	ASF+SDF parsing tools applied to ELAN
002022 (2000)	Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]	A reflective extension of ELAN
002216 (1999)	Mark Van Den Brand ; Rakesh Verma	Preface
002217 (1999)	Mark Van Den Brand ; Didier Parigot	Preface
002218 (1999)	Maria Paola Bonacina ; Bernhard Gramlich	Preface

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/ISSN.i -k "1571-0661" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/ISSN.i  \
                -Sk "1571-0661" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    ISSN.i
   |clé=    1571-0661
}}

---

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