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]
Fichier principal
betwibopouze3t.dvi (1).pdf (640.3 Ko)
Télécharger le fichier
betwibopouze3t.dvi.pdf (640.23 Ko)
Télécharger le fichier
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Bruno Courcelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03175157
Soumis le : vendredi 23 juillet 2021-11:11:39
Dernière modification le : vendredi 24 mars 2023-14:53:22
Dates et versions
Identifiants
- HAL Id : hal-03175157 , version 3
Citer
Bruno Courcelle. Induced betweenness in order-theoretic trees. 2021. ⟨hal-03175157v3⟩
121
Consultations
531
Téléchargements