H. Hermansky < H. Kirchner < H. Li

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
002A44 (1995)	C. Kirchner ; H. Kirchner ; M. Vittek	ELAN User Manual
002B08 (1995)	C. Kirchner ; H. Kirchner ; M. Vittek	Designing Constraint Logic Programming Languages using Computational Systems
002B24 (1995)	H. Kirchner ; P.-E. Moreau	Prototyping Completion with Constraints using Computational Systems
002B83 (1995)	C. Hintermeier ; H. Kirchner ; P.-D. Mosses	Combining Algebraic and Set-Theoretic Specifications
002D30 (1995)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Sort Inheritance for Order-Sorted Equational Presentations
002D37 (1995)	H. Kirchner	Some Extensions of Rewriting
002D71 (1995)	C. Hintermeier ; H. Kirchner ; P.-D. Mosses	{R}^n- and {G}^n-logics
002F28 (1994)	H. Kirchner ; C. Ringeissen	Constraint Solving by Narrowing in Combined Algebraic Domains
002F44 (1994)	H. Kirchner ; P.-E. Moreau	Prototyping Completion with Constraints using Computational Systems - Extended version
002F45 (1994)	H. Kirchner ; C. Ringeissen	Combining Symbolic Constraint Solvers on Algebraic Domains
003006 (1994)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Dynamically-Typed Computations for Order-Sorted Equational Presentations - Extended Abstract
003046 (1994)	H. Kirchner	On the Use of Constraints in Automated Deduction
003307 (1993)	C. Kirchner ; H. Kirchner ; M. Vittek	Designing Constraint Logic Programming Languages using Computational Systems
003377 (1993)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Dynamically-Typed Computations for Order-Sorted Equational Presentations
003379 (1993)	C. Kirchner ; H. Kirchner ; M. Vittek	Implementing Computational Systems with Constraints
003458 (1993)	D. Galmiche ; H. Kirchner	Les langages fonctionnels et logiques
003594 (1992)	H. Kirchner ; Ch. Ringeissen	A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms
003668 (1992)	J.-P. Jouannaud ; C. Kirchner ; H. Kirchner ; A. Mégrelis	Programming with Equalities, Subsorts, Overloading, and Parametrization in OBJ
003672 (1992)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Strict Matchings and Unifications in {G}-algebras
003724 (1992)	J. Hsiang ; H. Kirchner ; Pierre Lescanne [France] ; M. Rusinowitch	The Term Rewriting Approach to Automated Theorem Proving
003887 (1991)	H. Kirchner ; Ch. Ringeissen	Combining Unification Problems with Constraint Solving in Finite Algebras

---

List of associated KwdEn.i

Nombre de documents	Descripteur
11	completion
5	equational deduction
5	order-sorted rewriting
5	rewriting
5	theorem proving
4	OBJ
4	constraint
4	constraint logic programming
4	narrowing
4	unification
3	term rewriting systems
2	a demander
2	algebraic specification
2	automated deduction
2	combination of unification algorithms
2	divergence of completion
2	divergence of schematization
2	meta-rules
2	modulo equalities
2	proofs by induction
2	rewriting logic
2	set theory
1	Automated deduction
1	Theorem proving
1	abstract data types
1	automatic theorem proving
1	completion of rewrite systems
1	completion procedure
1	confluence
1	constrained completion
1	constrained reasoning
1	constraint deduction
1	constraint solving
1	crossed rewrite systems
1	crossed systems
1	divergence
1	enrichment proofs
1	equational completion
1	equational unification
1	first-order theorem proving
1	generic proofs
1	higher-order specification
1	langages
1	lazy constraints solving
1	logic programming
1	logique
1	operational semantics
1	order-sorted
1	order-sorted deduction
1	order-sorted logic
1	ordered sort
1	parameterization
1	persistency
1	preuves.
1	primal and boolean algebra
1	primal and boolean algebras
1	procedure modulo equalities
1	programmes corrects
1	reflexivity
1	rewrite systems
1	rewriting and completion modulo equalities
1	rewriting and constraint solving
1	rewriting inductive proofs
1	simplification
1	specification
1	subsorts overloading
1	symbolic constraint
1	term rewriting system
1	term-rewriting systems
1	termination
1	unfailing completion
1	unfication

---

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

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