H. Kimura < H. Kirchner < H. Kundig

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 H. Kirchner

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

Ident.	Authors (with country if any)	Title
00AB02 (1999)	H. Kirchner [France] ; P. D. Mosses [États-Unis]	Algebraic specifications, higher-order types, and set-theoretic models
00B375 (1998)	C. Hintermeier [France] ; C. Kirchner [France] ; H. Kirchner [France]	Dynamically Typed Computations for Order-sorted Equational Presentations
00C231 (1995)	C. Kirchner ; H. Kirchner ; M. Vittek	ELAN User Manual
00C296 (1995)	C. Kirchner ; H. Kirchner ; M. Vittek	Designing Constraint Logic Programming Languages using Computational Systems
00C312 (1995)	H. Kirchner ; P.-E. Moreau	Prototyping Completion with Constraints using Computational Systems
00C371 (1995)	C. Hintermeier ; H. Kirchner ; P.-D. Mosses	Combining Algebraic and Set-Theoretic Specifications
00C518 (1995)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Sort Inheritance for Order-Sorted Equational Presentations
00C525 (1995)	H. Kirchner	Some Extensions of Rewriting
00C559 (1995)	C. Hintermeier ; H. Kirchner ; P.-D. Mosses	{R}^n- and {G}^n-logics
00C959 (1994)	H. Kirchner ; C. Ringeissen	Constraint Solving by Narrowing in Combined Algebraic Domains
00C975 (1994)	H. Kirchner ; P.-E. Moreau	Prototyping Completion with Constraints using Computational Systems - Extended version
00C976 (1994)	H. Kirchner ; C. Ringeissen	Combining Symbolic Constraint Solvers on Algebraic Domains
00CA37 (1994)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Dynamically-Typed Computations for Order-Sorted Equational Presentations - Extended Abstract
00CA77 (1994)	H. Kirchner	On the Use of Constraints in Automated Deduction
00CF07 (1993)	C. Kirchner ; H. Kirchner ; M. Vittek	Designing Constraint Logic Programming Languages using Computational Systems
00CF77 (1993)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Dynamically-Typed Computations for Order-Sorted Equational Presentations
00CF79 (1993)	C. Kirchner ; H. Kirchner ; M. Vittek	Implementing Computational Systems with Constraints
00D058 (1993)	D. Galmiche ; H. Kirchner	Les langages fonctionnels et logiques
00D238 (1993)	D. Galmiche [France] ; H. Kirchner [France]	Les langages fonctionnels et logiques
00D337 (1992)	H. Kirchner ; Ch. Ringeissen	A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms
00D411 (1992)	J.-P. Jouannaud ; C. Kirchner ; H. Kirchner ; A. Mégrelis	Programming with Equalities, Subsorts, Overloading, and Parametrization in OBJ

---

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/Author.i -k "H. Kirchner" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "H. 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=    Author.i
   |clé=    H. 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