Eléments de l'association

	Spécification formelle	39
	P.-E. Moreau	4
	Spécification formelle *Sauf* P.-E. Moreau"	37
	P.-E. Moreau *Sauf* Spécification formelle"	2
	Spécification formelle Et P.-E. Moreau	2
	Spécification formelle Ou P.-E. Moreau	41
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 2.

Ident.	Authors (with country if any)	Title
000767	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
000B72	P.-E. Moreau [France] ; H. Kirchner [France]	A compiler for rewrite programs in associative-commutative theories

Wicri

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