Filter your results
- 14
- 12
- 2
- 14
- 4
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 13
- 1
- 14
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Étude de la polarisation en logiqueMathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2002. Français. ⟨NNT : ⟩
Theses
tel-00007884v1
|
||
|
Logique dans le Facteur Hyperfini: Géométrie de l'Interaction et ComplexitéLogique [math.LO]. Aix-Marseille Université, 2012. Français. ⟨NNT : ⟩
Theses
tel-00768403v1
|
||
|
A Logical Investigation of Interaction SystemsMathematics [math]. Université de la Méditerranée - Aix-Marseille II, 2005. English. ⟨NNT : ⟩
Theses
tel-00011871v1
|
||
|
Minorations explicites de formes linéaires en deux logarithmesMathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2003. Français. ⟨NNT : ⟩
Theses
tel-00003964v1
|
||
|
Série discrète unitaire, caractères, fusion de Connes et sous-facteurs pour l'algèbre Neveu-Schwarz.Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2009. Français. ⟨NNT : ⟩
Theses
tel-00514234v1
|
||
|
Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire.Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2001. Français. ⟨NNT : ⟩
Theses
tel-00084344v1
|
||
|
λ-calcul différentiel et logique classique : interactions calculatoiresLogique [math.LO]. Université de la Méditerranée - Aix-Marseille II, 2007. Français. ⟨NNT : ⟩
Theses
tel-00194149v4
|
||
|
Chaos en dynamique topologique, en particulier sur l'intervalle, mesures d'entropie maximaleMathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2001. Français. ⟨NNT : ⟩
Theses
tel-00001144v1
|
||
|
Aspects arithmétiques et algorithmiques des courbes de genre 1, 2 et 3Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2009
Habilitation à diriger des recherches
tel-00459554v1
|
||
|
Géométrie de l'Interaction et Réseaux DifférentielsMathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2009. Français. ⟨NNT : ⟩
Theses
tel-00392242v1
|
||
|
Etude du billard polyédralMathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2005. Français. ⟨NNT : ⟩
Theses
tel-00009363v1
|
||
|
Combinatoire et dynamique du flot de TeichmüllerSystèmes dynamiques [math.DS]. Université de la Méditerranée - Aix-Marseille II, 2011. Français. ⟨NNT : ⟩
Theses
tel-00653165v1
|
||
|
Etude de certains ensembles singuliers associés à une application polynomialeGéométrie algébrique [math.AG]. Université de la Méditerranée - Aix-Marseille II, 2013. Français. ⟨NNT : ⟩
Theses
tel-00875930v1
|
||
|
Variétés algébriques et corps de fonctions sur un corps finiGéométrie algébrique [math.AG]. Aix-Marseille Université, 2002
Habilitation à diriger des recherches
tel-00977396v1
|