Skip to Main content Skip to Navigation
New interface


...
tel-00460805v1  Habilitation à diriger des recherches
Olivier Laurent. Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010
...
tel-00338362v1  Theses
Eugen Zalinescu. Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00140652v1  Theses
Samuel Hym. Typage et contrôle de la mobilité
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français
...
tel-01420460v2  Theses
Pierre Halmagrand. Automated Deduction and Proof Certification for the B Method
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English. ⟨NNT : ⟩
...
tel-00011205v1  Theses
Emmanuel Beffara. Logique, Réalisabilité et Concurrence
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2005. Français
...
tel-03855351v1  Theses
Gabriel Hondet. Expressing predicate subtyping in computational logical frameworks
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG070⟩