Eléments de l'association

	Temps polynomial	30
	Martin Abadi	2
	Temps polynomial *Sauf* Martin Abadi"	29
	Martin Abadi *Sauf* Temps polynomial"	1
	Temps polynomial Et Martin Abadi	1
	Temps polynomial Ou Martin Abadi	31
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 1.

Ident.	Authors (with country if any)	Title
000617	Martin Abadi [États-Unis] ; Veronique Cortier [France]	Deciding knowledge in security protocols under equational 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