Evènement pour le groupe Graphes et Logique


Date 2011-10-11  11:00-12:00
TitreOrientations et ordres totaux définissables en logique du second-ordre monadique 
RésuméJ'examine dans quelle mesure il est possible de définir en logique du second ordre monadique, pour un graphe non orienté: une orientation, toutes les orientations, un ordre total. Les réponses ne sont pas les mêmes avec ou sans quantifications sur les ensembles d'arêtes. Je mets en évidence des conditions combinatoires qui rendent ces définitions possibles. Certains résultats sont obtenus avec A. Blumensath. 
Lieusalle 178 
OrateurBruno Courcelle 
Emailcourcell@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index