Eléments de l'association

	Spécification algébrique	7
	J.-P. Jouannaud	3
	Spécification algébrique *Sauf* J.-P. Jouannaud"	6
	J.-P. Jouannaud *Sauf* Spécification algébrique"	2
	Spécification algébrique Et J.-P. Jouannaud	1
	Spécification algébrique Ou J.-P. Jouannaud	9
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 1.

Ident.	Authors (with country if any)	Title
000969	A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [France] ; J. Meseguer [États-Unis]	Specification and proof in membership equational logic

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