Claude Houssemand < Claude Kirchner < Claude Lauren

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000003 (2001-12)	Nachum Dershowitz ; Claude Kirchner	Inversion Strategies
000049 (1998)	Horatiu Cirstea ; Claude Kirchner	$\rho$-Calculus. Its Syntax and Basic Properties
000186 (1996)	Claude Kirchner ; Christopher Lynch ; Christelle Scharff	A Fine-Grained Concurrent Completion Procedure
000309 (1999)	Claude Kirchner ; Hubert Comon ; Mehmet Dincbas ; Jean-Pierre Jouannaud	A Methodological View of Constraint Solving
000435 (2000)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	A Rho Cube
000436 (2007)	Horatiu Cirstea ; Germain Faure ; Claude Kirchner	A Rho-Calculus of explicit constraint application
000559 (2009-06-28)	Claude Kirchner ; Pierre-Etienne Moreau ; Cláudia Tavares	A Type System for Tom
000684 (1998)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner	A functional view of rewriting and strategies for a semantics of ELAN
000930 (2007)	Paolo Baldan ; Clara Bertolissi ; Horatiu Cirstea ; Claude Kirchner	A rewriting calculus for cyclic higher-order term graphs
000931 (2005)	Paolo Baldan ; Clara Bertolissi ; Horatiu Cirstea ; Claude Kirchner	A rewriting calculus for cyclic higher-order term graphs
000932 (2004-10)	Clara Bertolissi ; Paolo Baldan ; Horatiu Cirstea ; Claude Kirchner	A rewriting calculus for cyclic higher-order term graphs
000933 (2004-03-28)	Horatiu Cirstea ; Germain Faure ; Claude Kirchner	A rho-calculus of explicit constraint application.
000A40 (2002-07)	Nachum Dershowitz ; Claude Kirchner	Abstract Canonical Inference Systems
000A43 (2003-06)	Nachum Dershowitz ; Claude Kirchner	Abstract Saturation-based Inference
000D40 (1998)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Christophe Ringeissen	An Overview of ELAN
000E53 (2009-03-28)	Claude Kirchner ; Helene Kirchner ; Anderson Santana De Oliveira	Analysis of Rewrite-Based Access Control Policies
000E54 (2008-06-22)	Anderson Santana De Oliveira ; Claude Kirchner ; Hélène Kirchner	Analysis of Rewrite-Based Access Control Policies
000E89 (2005-03-14)	Claude Kirchner ; Hélène Kirchner ; Anderson Santana De Oliveira	Anchoring modularity in HTML.
000F12 (2007-11-30)	Claude Kirchner ; Radu Kopetz ; Pierre-Etienne Moreau	Anti-Pattern Matching Modulo
000F13 (2007)	Claude Kirchner ; Radu Kopetz ; Pierre-Etienne Moreau	Anti-Pattern Matching Modulo
000F14 (2008-03-13)	Claude Kirchner ; Radu Kopetz ; Pierre-Etienne Moreau	Anti-Pattern Matching Modulo

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Claude Kirchner" 

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

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

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