Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (8)
  • Université Paris-Saclay (ComUE) (5)
  • Sorbonne Paris Cité (4)
  • Grenoble (3)
  • Lyon (3)
  • Université de Lorraine (3)
  • Bordeaux (2)
  • Cachan, Ecole normale supérieure (2)
  • Paris 1 (2)
  • Paris 6 (2)
  • Paris Est (2)
  • Rennes 1 (2)
  • Université Grenoble Alpes (2)
  • Université Grenoble Alpes (ComUE) (2)
  • Artois (1)
  • Bordeaux 1 (1)
  • Colorado state university (1)
  • Lyon, École normale supérieure (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Metz (1)
  • Paris 7 (1)
  • Sorbonne université (1)
  • Strasbourg (1)
  • Universidad de la República (Montevideo) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • University of Cambridge (1)
  • Università degli studi (Milan, Italie) (1)
  • Università degli studi della Calabria (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (33)
  • Mathématiques (2)
  • Mathématiques fondamentales (2)
  • Mathématiques pures (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Philosophie (2)
  • Informatique. Informatique fondamentale (1)
  • Intelligence Artificielle / Aide à la décision (1)
  • Logique mathématique (1)
  • Mathématiques et Informatique (1)
  • Mathématiques. Logique mathématique (1)
  • Recherche clinique. Innovation technologique. Santé publique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (6)
  • IAEM Lorraine (5)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (29)
  • français (20)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Iosif Radu (3)
  • Blackburn Patrick (2)
  • Cortier Véronique (2)
  • Goubault-Larrecq Jean (2)
  • Kirchner Claude (2)
  • Miquel Alexandre (2)
  • Peltier Nicolas (2)
  • Rusinowitch Michaël (2)
  • Agón Carlos (1)
  • Aubin David (1)
  • Becher Verónica (1)
  • Benzaken Véronique (1)
  • Blazy Sandrine (1)
  • Caferra Ricardo (1)
  • Calimeri Francesco (1)
  • Caucal Didier (1)
  • Cirstea Horatiu (1)
  • Contejean Evelyne (1)
  • Darte Alain (1)
  • Déharbe David (1)
  • Ditmarsch Hans van (1)
  • Durand Arnaud (1)
  • Esling Philippe (1)
  • Fontaine Pascal (1)
  • Genet Thomas (1)
  • Ghilardi Silvio (1)
  • Graf Susanne (1)
  • Grinbaum Alexei (1)
  • Haar Stefan (1)
  • Halbwachs Nicolas (1)
  • Hansen Helle Hvid (1)
  • Henniart Guy (1)
  • Herbelin Hugo (1)
  • Jacquemard Florent (1)
  • Jaulent Jean-François (1)
  • Joinet Jean-Baptiste (1)
  • Kesner Delia (1)
  • Koriche Frédéric (1)
  • Kremer Steve (1)
  • Krivine Jean-Louis (1)
  • Lagrue Sylvain (1)
  • Lakhnech Yassine (1)
  • Laurent Olivier (1)
  • Margenstern Maurice (1)
  • Matignon Michel (1)
  • Maudet Nicolas (1)
  • Mazza Damiano (1)
  • Merz Stephan (1)
  • Miller Dale (1)
  • Monin Benoît (1)
  • Monniaux David (1)
  • Napoli Amedeo (1)
  • Ouerdane Wassila (1)
  • Panza Marco (1)
  • Rajopadhye Sanjay (1)
  • Ranise Silvio (1)
  • Ratazzi Nicolas (1)
  • Sappey-Marinier Dominique (1)
  • Schreck Pascal (1)
  • Segoufin Luc (1)
  • Simon Laurent (1)
  • Soriano-Gafiuk Florence (1)
  • Stratulat Sorin (1)
  • Terracina Giorgio (1)
  • Todorčević Stevo (1)
  • Valarcher Pierre (1)
  • Winskel Glynn (1)
  • Yakobowski Boris (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (35)
  • Mathématiques (13)
  • Informatique, information, généralités (2)
  • Logique (2)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Médecine et santé (1)

Domaines :

Fullscreen

49 thèses pour Herbrand Theorem

...automated theorem provers has broughtwith it a need for proof certi cation. Potential sources of errors in...

Accéder en ligne

...doprogramming!5.2 Herbrand s theoremAs mentioned in the introduction, Herbrand s theorem in its simpler formu...

Accéder en ligne
Mathématiques. Logique et fondements de l'informatique

Soutenue en 2008
thèse soutenue
Informatique

Soutenue le 17-06-2014
thèse soutenue

...If we use the de nition of the forcing structure for Herbrand theorem, unfold all combinators...

Accéder en ligne

.... Carson et L. Shalla : The concept of demodu-lation in theorem proving. J. ACM, 14(4):698 709, 1967.Index...

Accéder en ligne

....Studies, 28:245–266, 1953.[22] F. Galvin and K. Prikry. Borel sets and Ramsey’s theorem. J. Symb. Logic,38...

Accéder en ligne
Informatique

Soutenue le 30-10-2014
thèse soutenue

...démonstrateurs automatiques (theorem prover). À une extrémité duspectre, on trouve des démonstrateurs (tels que...

Accéder en ligne

Résultats 1 à 10