Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (24)
  • Paris 13 (10)
  • Aix-Marseille 2 (8)
  • Toulouse 3 (6)
  • Sorbonne Paris Cité (5)
  • Aix-Marseille (4)
  • Nancy 1 (4)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 6 (3)
  • Paris 8 (3)
  • Vandoeuvre-les-Nancy, INPL (3)
  • La Rochelle (2)
  • Lyon, École normale supérieure (2)
  • Nice (2)
  • Paris 11 (2)
  • Toulouse, INPT (2)
  • Aix-Marseille 3 (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Compiègne (1)
  • Grenoble (1)
  • Montpellier 3 (1)
  • Nantes (1)
  • Paris, CNAM (1)
  • Paris, ENST (1)
  • Toulouse, INSA (1)
  • Universidad de la República (Montevideo) (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Università degli studi (Turin, Italie) (1)
  • Université de Lorraine (1)
  • Université de Torino - ITALIE (1)
  • Univerzitet u Novom Sadu (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (37)
  • Mathématiques (14)
  • Sciences appliquées (6)
  • Sciences et techniques (6)
  • Doctorat informatique (3)
  • Mathématiques discrètes et fondements de l'informatique (3)
  • Informatique. Informatique fondamentale (2)
  • Philosophie (2)
  • Sciences et techniques communes (2)
  • Systèmes industriels (2)
  • Automatique et informatique appliquée (1)
  • Cognition, éducation et langage (1)
  • ETUDES CULTURELLES ET FRANCOPHONIE spécialité Etudes culturelles (1)
  • Epistémologie et histoire des sciences (1)
  • Informatique et applications (1)
  • Informatique fondamentale (1)
  • Informatique industrielle (1)
  • Littérature française (1)
  • Logique mathématique (1)
  • Mathématiques et Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Programmation (1)
  • Programmation. Sémantique, preuves et langages (1)
  • Systèmes automatiques (1)
  • Systèmes embarqués (1)
  • Systèmes informatiques (1)
  • Technologies de l'information et des systèmes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (6)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (4)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences et ingénierie pour l'information, mathématiques (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; ....-2014) (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (63)
  • anglais (24)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Girard Jean-Yves (7)
  • Curien Pierre-Louis (6)
  • Guerrini Stefano (5)
  • Valette Robert (5)
  • Ehrhard Thomas (4)
  • Fages François (4)
  • Galmiche Didier (4)
  • Baillot Patrick (3)
  • Demmou Hamid (3)
  • Lafont Yves (3)
  • Melliès Paul-André (3)
  • Ronchi Della Rocca Simona (3)
  • Régnier Laurent (3)
  • Vauzeilles Jacqueline (3)
  • Augeraud Michel (2)
  • Bucciarelli Antonio (2)
  • Fouqueré Christophe (2)
  • Krivine Jean-Louis (2)
  • Marion Jean-Yves (2)
  • Abrusci Vito Michele (1)
  • BELLOT PATRICK (1)
  • BLANC G. (1)
  • Baelde David (1)
  • Barger Pavol (1)
  • Barkaoui Kamel (1)
  • Champagnat Ronan (1)
  • Chézalviel Brigitte (1)
  • Danos Vincent (1)
  • De Sainte-Catherine Myriam (1)
  • Debru Claude (1)
  • Estraillier Pascal (1)
  • Faggian Claudia (1)
  • Fariñas del Cerro Luis (1)
  • Ferber Jacques (1)
  • Ghilezan Silvia (1)
  • Girard J.-Y. (1)
  • Groote Philippe de (1)
  • Hassanaly Parina (1)
  • Herbelin Hugo (1)
  • Hirschowitz Tom (1)
  • Huisman Marieke (1)
  • Lacroix Simon (1)
  • Lecomte Alain (1)
  • Levaillant Jean (1)
  • Liquori Luigi (1)
  • Longo Giuseppe (1)
  • Mackie Ian (1)
  • Manzonetto Giulio (1)
  • Martini Simone (1)
  • Marty Philippe (1)
  • Mazza Damiano (1)
  • Miller Dale (1)
  • Miquel Alexandre (1)
  • Muscholl Anca (1)
  • PERROT JEAN-FRANCOIS (1)
  • Pascal Jean-Claude (1)
  • Poulain Jacques (1)
  • RESSAYRE J.-P. (1)
  • Roux Olivier F. (1)
  • Rueda Camilo (1)
  • Salibra Antonino (1)
  • Saurin Alexis (1)
  • Schön Walter (1)
  • Serre Olivier (1)
  • Siary Gérard (1)
  • Soloviev Sergei (1)
  • Spyratos Nicolas (1)
  • Strassburger Lutz (1)
  • Tortora de Falco Lorenzo (1)
  • Valiron Benoit (1)
  • Vermeren Patrice (1)
  • Vianou Antoine (1)
  • Vuillon Laurent (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (53)
  • Mathématiques (22)
  • Sciences de l'ingénieur (12)
  • Technologie (Sciences appliquées) (9)
  • Sciences de la nature et mathématiques (8)
  • Informatique, information, généralités (4)
  • Philosophie, psychologie (2)
  • Littérature de langues romanes. Littérature française (2)
  • Epistémologie, causalité, genre humain (1)
  • Psychologie (1)
  • Logique (1)
  • Education et enseignement (1)
  • Linguistique générale (1)

Domaines :

Fullscreen

94 thèses pour "Logique linéaire"

...complexité à travers un λ-calcul élémentaire typé dansla logique linéaire élémentaire (ELL), où la complexité...

Accéder en ligne

Concurrence, Références et Logique Linéaire

par Yann Hamdaoui sous la direction de Claudia Faggian et de Benoit Valiron. - Sorbonne Paris Cité

Informatique

Soutenue le 25-09-2018
 thèse en cours de préparation
Mathématiques. Logique et fondements de l'informatique

Soutenue en 1996
thèse soutenue

Résultats 1 à 10