Claude Inglebert < Claude Kirchner < Claude Laurenço

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
001275 (2002)	Olivier Bournez ; Claude Kirchner	Probabilistic rewrite strategies. Applications to ELAN
001287 (2002)	Gilles Dowek ; Thérèse Hardin ; Claude Kirchner	Binding Logic : proofs and models
001305 (2002)	Carlos Castro ; Claude Kirchner	Towards a Methodology for Rule-Based Programming
001306 (2002)	Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner	External rewriting for skeptical proof assistants (extended version)
001312 (2002)	Germain Faure ; Claude Kirchner	Exceptions in the rewriting calculus
001323 (2002)	Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner	External rewriting for skeptical proof assistants
001324 (2002)	Nachum Dershowitz ; Claude Kirchner	Abstract Canonical Inference Systems
001414 (2001)	Claude Kirchner	ELAN : Modélisation et preuve en calcul de réécriture
001420 (2001)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	The Rho Cube
001476 (2001)	Nachum Dershowitz ; Claude Kirchner	Inversion Strategies
001551 (2001)	Horatiu Cirstea ; Claude Kirchner	The Rewriting Calculus - Part I
001556 (2001)	Horatiu Cirstea ; Claude Kirchner	The Rewriting Calculus - Part II
001601 (2001)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen	Rewriting with strategies in ELAN : a functional semantics
001676 (2001)	Emmanuel Beffara ; Olivier Bournez ; Hassen Kacem ; Claude Kirchner	Verification of Timed Automata Using Rewrite Rules and Strategies
001677 (2001)	Emmanuel Beffara ; Olivier Bournez ; Hassen Kacem ; Claude Kirchner	Verification of Timed Automata Using Rewrite Rules and Strategies
001718 (2001)	Claude Kirchner ; Zhebin Qian ; Preet Kamal Singh ; Jürgen Stuber	Xemantics : a Rewriting Calculus-Based Semantics of XSLT
001748 (2001)	Horatiu Cirstea ; Claude Kirchner	Rewriting and Multisets in Rho-calculus and ELAN
001764 (2001)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Matching Power
001779 (2000)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	A Rho Cube
001829 (2000)	Claude Kirchner	ELAN ou la programmation par réécriture
001928 (2000)	Horatiu Cirstea ; Claude Kirchner	The simply typed rewriting calculus

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Claude Kirchner" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Claude Kirchner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Claude Kirchner
}}

---

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