8723 articles  [version française]
.:. Browse > By authors > Abadi .:.
2 documents ordered by :

fulltext access Deciding knowledge in security protocols under equational theories
Abadi M., Cortier V.
N° RR-5169 (2004) [inria-00071420 - version 1]
fulltext access Explicit substitutions
Abadi M., Cardelli L., Curien P.L., Levy J.-J.
N° RR-1176 (1990) [inria-00075382 - version 1]