Evènement pour le groupe Séminaire Méthodes Formelles


Date 2019-03-05  11:00-12:00
TitreBetweenness in order-theoretical trees 
RésuméThe ternary betweenness relation on a tree, B(x,y,z), indicates that y is on the unique path between x and z. This notion can be extended to order-theoretic trees defined as partial orders such that the set of nodes greater than any node is linearly ordered. In such generalized trees, the unique "path" between two nodes can have infinitely many nodes. We axiomatize in first-order or monadic second-order logic several betweenness relations in order-theoretical trees. 
Lieu178 
OrateurBruno Courcelle 
Emailhttp://www.labri.fr/perso/courcell/ 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index