Search - Archive ouverte HAL Access content directly

Filter your results

14 Results
Structure: Internal structure identifier : 892
Image document

Étude de la polarisation en logique

Olivier Laurent
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2002. Français. ⟨NNT : ⟩
Theses tel-00007884v1
Image document

Logique dans le Facteur Hyperfini: Géométrie de l'Interaction et Complexité

Thomas Seiller
Logique [math.LO]. Aix-Marseille Université, 2012. Français. ⟨NNT : ⟩
Theses tel-00768403v1
Image document

A Logical Investigation of Interaction Systems

Pierre Hyvernat
Mathematics [math]. Université de la Méditerranée - Aix-Marseille II, 2005. English. ⟨NNT : ⟩
Theses tel-00011871v1
Image document

Minorations explicites de formes linéaires en deux logarithmes

Nicolas Gouillon
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2003. Français. ⟨NNT : ⟩
Theses tel-00003964v1
Image document

Série discrète unitaire, caractères, fusion de Connes et sous-facteurs pour l'algèbre Neveu-Schwarz.

Sébastien Palcoux
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2009. Français. ⟨NNT : ⟩
Theses tel-00514234v1
Image document

Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire.

Virgile Mogbil
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2001. Français. ⟨NNT : ⟩
Theses tel-00084344v1
Image document

λ-calcul différentiel et logique classique : interactions calculatoires

Lionel Vaux
Logique [math.LO]. Université de la Méditerranée - Aix-Marseille II, 2007. Français. ⟨NNT : ⟩
Theses tel-00194149v4
Image document

Chaos en dynamique topologique, en particulier sur l'intervalle, mesures d'entropie maximale

Sylvie Ruette
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2001. Français. ⟨NNT : ⟩
Theses tel-00001144v1
Image document

Aspects arithmétiques et algorithmiques des courbes de genre 1, 2 et 3

Christophe Ritzenthaler
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2009
Habilitation à diriger des recherches tel-00459554v1
Image document

Géométrie de l'Interaction et Réseaux Différentiels

Marc de Falco
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2009. Français. ⟨NNT : ⟩
Theses tel-00392242v1
Image document

Etude du billard polyédral

Nicolas Bedaride
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2005. Français. ⟨NNT : ⟩
Theses tel-00009363v1
Image document

Combinatoire et dynamique du flot de Teichmüller

Vincent Delecroix
Systèmes dynamiques [math.DS]. Université de la Méditerranée - Aix-Marseille II, 2011. Français. ⟨NNT : ⟩
Theses tel-00653165v1
Image document

Etude de certains ensembles singuliers associés à une application polynomiale

Thuy Nguyen Thi Bich
Géométrie algébrique [math.AG]. Université de la Méditerranée - Aix-Marseille II, 2013. Français. ⟨NNT : ⟩
Theses tel-00875930v1
Image document

Variétés algébriques et corps de fonctions sur un corps fini

Yves Aubry
Géométrie algébrique [math.AG]. Aix-Marseille Université, 2002
Habilitation à diriger des recherches tel-00977396v1