Claude Inglebert < Claude Kirchner < Claude Laurenço

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000178 (2005)	Horatiu Cirstea ; Emmanuel Coquery ; Wlodzimierz Drabent ; François Fages ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack ; Artur Wilk	Types for REWERSE reasoning and query languages
000238 (2005)	Guillaume Burel ; Claude Kirchner	Completion is an Instance of Abstract Canonical System Inference
000244 (2005)	Frédéric Blanqui ; Colin Riba ; Claude Kirchner	On the confluence of lambda-calculus with conditional rewriting
000276 (2005)	Paolo Baldan ; Clara Bertolissi ; Horatiu Cirstea ; Claude Kirchner	A rewriting calculus for cyclic higher-order term graphs
000306 (2005)	Olivier Bournez ; Florent Garnier ; Claude Kirchner	Termination in finite mean time of a CSMA/CA rule-based model
000319 (2005)	Germain Faure ; Claude Kirchner ; Horatiu Cirstea	A Rho-Calculus of explicit constraint application
000329 (2005)	Claude Kirchner ; Pierre-Étienne Moreau ; Antoine Reilles	Formal Validation of Pattern Matching Code
000415 (2005)	Claude Kirchner ; Hélène Kirchner ; Anderson Santana De Oliveira	Anchoring modularity in HTML
000530 (2005)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	Decidable Type Inference for the Polymorphic Rewriting Calculus
000984 (2003)	Gilles Barthe ; Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Pure Patterns Type Systems
000A03 (2003)	Gilles Dowek ; Thérèse Hardin ; Claude Kirchner	Theorem Proving Modulo
000A04 (2003)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	Rewrite Strategies in the Rewriting Calculus
000A87 (2003)	Clara Bertolissi ; Horatiu Cirstea ; Claude Kirchner	Translating Combinatory Reduction Systems into the Rewriting Calculus
000A94 (2003)	Mohamed El Habib ; Claude Kirchner ; Hélène Kirchner ; Jean-Yves Marion ; Stephan Merz	The QSL platform at LORIA
000D40 (2003)	Eric Deplagne ; Claude Kirchner ; Hélène Kirchner ; Quang Huy Nguyen	Proof Search and Proof Check for Equational and Inductive Theorems
000E07 (2003)	Nachum Dershowitz ; Claude Kirchner	Abstract Saturation-based Inference
000F04 (2002)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	The rho cube : some results, some problems
000F79 (2002)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Rewriting Calculus with(out) Types
001138 (2002)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau	ELAN from a rewriting logic point of view
001274 (2002)	Eric Deplagne ; Claude Kirchner	Deduction versus Computation : the Case of Induction
001275 (2002)	Olivier Bournez ; Claude Kirchner	Probabilistic rewrite strategies. Applications to ELAN

---

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