Kirche < Kirchner < Kirfel

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Kirchner

Number of relevant bibliographic references: 27.
[0-20] [0 - 20][0 - 27][20-26][20-40]

Ident.	Authors (with country if any)	Title
003902 (2009)		Register
009224 (2001)	Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie]	A Pattern-Matching Compiler
009262 (2001)	H. Cirstea [France] ; K. Kirchner [France]	The rewriting calculus - part I
009D05 (2000)	Horatiu Cirstea [France] ; Claude Kirchner [France]	The simply typed rewriting calculus
009D07 (2000)	Hélène Kirchner [France] ; Isabelle Gnaedig [France]	Termination and normalisation under strategy Proofs in ELAN
009D11 (2000)	Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]	Specification and proof in membership equational logic
009D12 (2000)	Carlos Castro [France]	Solving Binary CSP Using Computational Systems
009D20 (2000)	José Meseguer	Preface
009D45 (2000)	Christophe Ringeissen [France]	Handling Relations over Finite Domains in the Rule-Based System ELAN
009D51 (2000)	Peter Borovansk ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Marian Vittek	ELAN
009D55 (2000)	Peter Borovansk [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Controlling Rewriting by Rewriting
009D66 (2000)	M. G. J. Van Den Brand [Pays-Bas] ; C. Ringeissen [France]	ASF+SDF parsing tools applied to ELAN
009D69 (2000)	Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]	A reflective extension of ELAN
009E84 (2000)	Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]	Higher Order Unification via Explicit Substitutions
00A832 (1999)	Mark Van Den Brand ; Rakesh Verma	Preface
00A834 (1999)	Maria Paola Bonacina ; Bernhard Gramlich	Preface
00A851 (1999)		Cumulative index volumes 1–200
00B236 (1998)	Claude Kirchner ; Hélène Kirchner	Preface
00B345 (1998)	M. Fernández [France]	Negation Elimination in Empty or Permutative Theories
00B375 (1998)	C. Hintermeier [France] ; C. Kirchner [France] ; H. Kirchner [France]	Dynamically Typed Computations for Order-sorted Equational Presentations
00B382 (1998)	H. Comon [France]	Completion of Rewrite Systems with Membership Constraints Part I: Deduction Rules

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Teeft.i -k "Kirchner" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Teeft.i  \
                -Sk "Kirchner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Teeft.i
   |clé=    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