Evènement pour le 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