Show Menu
Hide Menu
Le LIP6
À propos
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Médiation scientifique
Nos chartes et engagements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
Projets PEPR
Projets ANR
Projets PIA & PostGenAI@Paris
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein
Annuaire
LÉON LUNA Claudia
Post-doctorante -
OASIS
https://www.lip6.fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=187
Direction de recherche
: Anne DOUCET
Vérification de contraintes dans transaction imbriquées
Soutenance
: 19/07/2001
Date de départ : 19/07/2002
Publications 2001
2001
C. Léon Luna
: “
Vérification de contraintes dans transaction imbriquées
”, thèse, soutenance 19/07/2001, direction de recherche Doucet, Anne (2001)