Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (4)
  • Lyon (3)
  • Lyon, École normale supérieure (2)
  • Aix-Marseille (1)
  • Aix-Marseille 2 (1)
  • Bordeaux 1 (1)
  • Nancy 2 (1)
  • Nantes, Ecole des Mines (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris, ENSAM (1)
  • Sorbonne Paris Cité (1)
  • University of Cambridge (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université de Lorraine (1)
  • Université de Paris (2019-....) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (14)
  • Conception (1)
  • Informatique et applications (1)
  • Mathématiques (1)
  • Mathématiques discrètes et fondements de l'informatique (1)
  • Mathématiques et informatique (1)
  • Philosophie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale en Informatique et Mathématiques de Lyon (5)
  • 386 - SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (10)
  • français (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Laurent Olivier (5)
  • Curien Pierre-Louis (2)
  • Winskel Glynn (2)
  • Bucciarelli Antonio (1)
  • De Luca Livio (1)
  • Fouqueré Christophe (1)
  • Fouqueré Christophe (1)
  • Girard Jean-Yves (1)
  • Heinzmann Gerhard (1)
  • Hirschowitz Tom (1)
  • Hoyrup Mathieu (1)
  • Marion Jean-Yves (1)
  • Mellies Paul-andre (1)
  • Melliès Paul-André (1)
  • Miquel Alexandre (1)
  • Palamidessi Catuscia (1)
  • Retoré Christian (1)
  • Salvati Sylvain (1)
  • Véron Philippe (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (16)
  • Mathématiques (3)
  • Informatique, information, généralités (1)
  • Philosophie, psychologie (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

20 thèses pour "Sémantique des jeux"

...faisant profiter de tonexpertise scientifique, de la sémantique des jeux au lambda-mu calcul. Cette...

Accéder en ligne

Sémantique des Jeux Quantique

par Marc DE VISME sous la direction de Olivier Laurent et de Glynn Winskel. - Lyon

Informatique

Soutenue le 28-09-2020
 thèse en cours de préparation
Informatique

Soutenue le 13-07-2017
thèse soutenue

...contexteparticulier, par exemple :Jx + xK = {q− · q+x · n− · q+x ·m− · (n + m)+ | n,m ∈ N}Sémantique des jeux et...

Accéder en ligne
Informatique

En préparation depuis le 09-10-2017
 thèse en cours de préparation
Informatique et applications

Soutenue le 11-07-2014
thèse soutenue

...sémantique des jeux, permet-tant ainsi de voir l’apport de cette notion à l’étude de ces théorèmes. Qui plus...

Accéder en ligne

...(Français)La sémantique des jeux est une sémantique dénotationnelle centrée surlinteraction : les preuves et...

Accéder en ligne

Résultats 1 à 10