Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Sorbonne Paris Cité (12)
  • Université Paris-Saclay (ComUE) (4)
  • Université de Lorraine (4)
  • Nancy 1 (3)
  • Lyon (2)
  • Lyon, École normale supérieure (2)
  • Paris 7 (2)
  • Université Grenoble Alpes (ComUE) (2)
  • Aix-Marseille (1)
  • Bordeaux (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble 1 (1)
  • Helsingin yliopisto (Finland) (1)
  • Institut polytechnique de Paris (1)
  • La Réunion (1)
  • Metz (1)
  • Montpellier (1)
  • Nantes, Ecole des Mines (1)
  • Paris 13 (1)
  • Paris, CNAM (1)
  • Pau (1)
  • Toulouse 3 (1)
  • Universidad de la República (Montevideo) (1)
  • Universiteit van Amsterdam (1)
  • University of Cambridge (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Université Côte d'Azur (ComUE) (1)
  • Univerza na Primorskem (Koper, Republika Slovenija) (1)
  • Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechanik (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (32)
  • Informatique. Informatique fondamentale (4)
  • Mathématiques (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Informatique et applications (1)
  • Informatique, données, IA (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et informatique (1)
  • Philosophie, épistémologie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (8)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (4)
  • École doctorale en Informatique et Mathématiques de Lyon (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • IAEM Lorraine (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Savoirs scientifiques : Epistémologie, histoire des sciences, didactique des disciplines (Paris ; 2000-2019) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (34)
  • français (11)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Guerrini Stefano (4)
  • Mazza Damiano (3)
  • Colson Loïc (2)
  • Ditmarsch Hans van (2)
  • Dowek Gilles (2)
  • Galmiche Didier (2)
  • Kesner Delia (2)
  • Laurent Olivier (2)
  • Miller Dale (2)
  • Miquel Alexandre (2)
  • Tabareau Nicolas (2)
  • Baelde David (1)
  • Becher Verónica (1)
  • Bhargavan Karthikeyan (1)
  • Blackburn Patrick (1)
  • Bodeveix Jean-Paul (1)
  • Chbeir Richard (1)
  • Chorlay Renaud (1)
  • Curien Pierre-Louis (1)
  • De Sainte-Catherine Myriam (1)
  • Delahaye David (1)
  • Dubois Catherine (1)
  • Ehrhard Thomas (1)
  • Euzenat Jérôme (1)
  • Faggian Claudia (1)
  • Filali Mamoun (1)
  • Gehrke Mai (1)
  • Goubault Éric (1)
  • Haar Stefan (1)
  • Hansen Helle Hvid (1)
  • Herbelin Hugo (1)
  • Hyvernat Pierre (1)
  • Iturrioz Luisa (1)
  • Kirchner Claude (1)
  • Kirchner Florent (1)
  • Larchey-Wendling Dominique (1)
  • Liquori Luigi (1)
  • Martin Philippe (1)
  • Martini Simone (1)
  • Michalewski Henryk (1)
  • Mimram Samuel (1)
  • Mrissa Michaël (1)
  • Negri Sara (1)
  • Nour Karim (1)
  • Olivetti Nicola (1)
  • Prost Jean-Philippe (1)
  • Raffalli Christophe (1)
  • Ressayre Jean-Pierre (1)
  • Retoré Christian (1)
  • Riba Colin (1)
  • Rueda Camilo (1)
  • Saurin Alexis (1)
  • Smets Sonja (1)
  • Stratulat Sorin (1)
  • Szczeciniarz Jean-Jacques (1)
  • Valiron Benoit (1)
  • Winskel Glynn (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (37)
  • Mathématiques (8)
  • Informatique, information, généralités (3)
  • Epistémologie, causalité, genre humain (1)
  • Education et enseignement (1)

Domaines :

Fullscreen
Mathématiques

Soutenue en 1992
thèse soutenue
Mathématiques

Soutenue en 1997
thèse soutenue

.... Semantics and Proof Theory of anIntuitionistic Modal Sequent Calculus. Technical Report UMCS-99...

Accéder en ligne
Informatique

Soutenue le 07-12-2012
thèse soutenue
Mathématiques. Logique et fondements de l'informatique

Soutenue le 10-09-2018
thèse soutenue

...calculus, which in turn is related to the implicitdefinition of propositional quantifiers. In Chapter 7 we...

Accéder en ligne

...]. The natural deduction of propositional in-tuitionistic logic can be embedded into LL. This is true in...

Accéder en ligne

...one is used to construct the λµ-calculus (Sec. 6.1.2).6.1.1 Getting Classical LogicIntuitionistic...

Accéder en ligne

...typed λ-calculus with productand sums, namely the intuitionistic propositional logic with implication...

Accéder en ligne

Résultats 1 à 10