Résultats 1 à 3

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (1)
  • Paris 9 (1)
  • Toulouse 3 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (2)
  • Sciences et techniques communes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale de Dauphine (Paris) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (2)
  • anglais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cazenave Tristan (1)
  • Fariñas del Cerro Luis (1)
  • Genevès Pierre (1)
  • Roisin Cécile (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (2)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

3 thèses pour "Logique Modale K"

Informatique

Soutenue le 08-07-2013
thèse soutenue

...a` deux-joueurs a` plusieurs issues,et le proble`me de model checking en logique modale K. Cela...

Accéder en ligne

...présentons une mise en œuvre pour résoudre le problème de satisfaisabilité dansla logique modale K basée sur...

Accéder en ligne

Résultats 1 à 3