Freq.	Weight	Association
2	0.471	H. Kirchner - P. D. Mosses
2	0.408	H. Kirchner - P.-E. Moreau

Documents par ordre de pertinence

000A76 (1999)	H. Kirchner [France] ; P.-E. Moreau [France]	Non-deterministic computations in ELAN
000B02 (1999)	H. Kirchner [France] ; P. D. Mosses [États-Unis]	Algebraic specifications, higher-order types, and set-theoretic models
000B72 (1998)	P.-E. Moreau [France] ; H. Kirchner [France]	A compiler for rewrite programs in associative-commutative theories
000D01 (1996)	C. Hintermeier [France] ; H. Kirchner [France] ; P. D. Mosses [Danemark]	Combining algebraic and set-theoretic specifications
000493 (2005)	M. Van Den Brand [Pays-Bas] ; P.-E. Moreau [France] ; J. Vinju [Pays-Bas]	Generator of efficient strongly typed abstract syntax trees in Java
000767 (2002)	M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France]	The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration
000D25 (1995)	V. M. Antimirov [France] ; P. D. Mosses	Rewriting extended regular expressions
000D46 (1993)	D. Galmiche [France] ; H. Kirchner [France]	Les langages fonctionnels et logiques
000D65 (1991)	M. Hermann ; C. Kirchner ; H. Kirchner	Implementations of term rewriting systems

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.