Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Représentation de relations par des fonctions unaires; Vérification de propriétés au moyen d'étiquettes
du groupe Graphes et Logique

Date 2011-06-28  11:00-12:00
TitreReprésentation de relations par des fonctions unaires; Vérification de propriétés au moyen d'étiquettes 
RésuméLa représentation implicite des graphes, les étiquetages de connexité en présence d'obstacles, la vérification de propriétés du premier ordre au moyen d'étiquettes utilisent des représentations de relations et de propriétés de graphes au moyen de fonctions unaires. L'exposé présentera des exemples concernant les graphes planaires, des méthodes de construction d'étiquetage et des questions ouvertes. 
Lieuamphitheatre (salle 050) 
OrateurBruno Courcelle 
Emailcourcell@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index