Induced betweenness in order-theoretic trees
Résumé
The ternary relation B(x,y,z) of betweenness states that an element y is between the elements x and z, in some sense depending on the considered structure. In a partially ordered set (N,≤), B(x,y,z):⇔x
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Bruno Courcelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03175157
Soumis le : lundi 29 novembre 2021-15:37:37
Dernière modification le : vendredi 24 mars 2023-14:53:24
Citer
Bruno Courcelle. Induced betweenness in order-theoretic trees. 2021. ⟨hal-03175157v4⟩
121
Consultations
531
Téléchargements