Documents par ordre de pertinence

000995 (2000)	G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]	Higher order unification via explicit substitutions
000A82 (1999)	G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]	Hol-λσ : An intentional first-order expression of higher-order logic
000B06 (1999)	H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France]	A methodological view of constraint solving
000B29 (1998)	H. Cirstea [France] ; C. Kirchner [France]	The rewriting calculus as a semantics of ELAN
000C25 (1997)	C. Kirchner [France] ; C. Ringeissen [France]	Higher-order equational unification via explicit substitutions
000C75 (1996)	I. Alouini [France] ; C. Kirchner [France]	Toward the concurrent implementation of computational systems
000C92 (1996)	C. Kirchner [France] ; C. Lynch [France] ; C. Scharff [France]	Fine-grained concurrent completion
000D65 (1991)	M. Hermann ; C. Kirchner ; H. Kirchner	Implementations of term rewriting systems
000D66 (1991)	N. Doggaz ; C. Kirchner	Completion for unification
000D72 (1990)	MOHAMED ADI ; C. Kirchner	AC-Unification race : the system solving approach and its implementation

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

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.