C. Kenyon < C. Kirchner < C. Labit

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
002A15 (1995)	C. Kirchner	Selected Papers of RTA-93
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
002C37 (1995)	G. Dowek ; T. Hardin ; C. Kirchner	Higher-Order Unification via Explicit Substitutions - Extended Abstract
002D30 (1995)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Sort Inheritance for Order-Sorted Equational Presentations
003006 (1994)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Dynamically-Typed Computations for Order-Sorted Equational Presentations - Extended Abstract
003037 (1994)	G. Dowek ; T. Hardin ; C. Kirchner	High-Order Unification via Explicit Substitutions
003209 (1993)	F. Klay ; E. Domenjoud ; C. Kirchner	Vérification sémantique de spécifications métallurgiques
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
003640 (1992)	M. Adi ; C. Kirchner	AC-Unification Race : The System Solving Approach, Implementation and Benchmarks
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
003735 (1992)	C. Kirchner ; P. Viry	Implementing Parallel Rewriting
003944 (1991)	J.-P. Jouannaud ; C. Kirchner	Solving Equations in Abstract Algebras : A Rule-based Survey of Unification
003958 (1991)	N. Doggaz ; C. Kirchner	Completion for Unification
003977 (1991)	C. Kirchner ; H. Kirchner	Order-Sorted Rewriting and Completion in G-Algebra - Extended Abstract
003A34 (1991)	M. Hermann ; C. Kirchner ; H. Kirchner	Implementations of Term Rewriting Systems
003A45 (1991)	C. Kirchner ; H. Kirchner	Order-Sorted Computations in G-Algebra
003B44 (1990)	M. Adi ; C. Kirchner	AC-Unification Race : the System Solving Approach and its Implementation

---

List of associated KwdEn.i

Nombre de documents	Descripteur
13	unification
6	OBJ
6	completion
5	order-sorted rewriting
4	rewriting
2	a demander
2	equational logic
2	equational unification
2	lambda computation
2	narrowing
2	unification computation
2	unification équationnelle
1	AC-unification
1	algebraic specification
1	automatic theorem proving
1	bottom-up matching
1	combinaison d'algorithmes d'unification
1	completion of rewrite systems
1	concurrent programming
1	concurrent rewriting
1	confluence
1	constrained completion
1	constrained reasoning
1	constraint deduction
1	constraint solving
1	crossed systems
1	diophantine equation
1	disequations
1	divergence of completion
1	enrichment proofs
1	equation sollving
1	equational completion
1	equational deduction
1	equational theories
1	first-order theorem proving
1	lazy constraints solving
1	logic programming
1	meta-rules
1	modulo equalities
1	obj
1	operational semantics
1	order-sorted
1	order-sorted deduction
1	order-sorted logic
1	ordered sort
1	parallel matching
1	parallel rewriting
1	proofs by induction
1	reflexivity
1	rewrite systems
1	rrm
1	specification
1	subsorts overloading
1	symbolic constraint
1	symbolic constraints
1	syntactic theories
1	term rewriting systems
1	term-rewriting systems
1	termination
1	text formatting
1	théories syntaxiques
1	transformations
1	unfailing completion
1	unification AC

---

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

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