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é:   
Orientations et ordres totaux définissables en logique du second-ordre monadique
du 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