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 éditeurs autorisés sur une archive ouverte
Bruno Courcelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03175157
Soumis le : mercredi 7 septembre 2022-15:26:40
Dernière modification le : vendredi 24 mars 2023-14:53:28
Dates et versions
Identifiants
- HAL Id : hal-03175157 , version 5
- ARXIV : 2111.15357
- DOI : 10.46298/dmtcs.7288
Citer
Bruno Courcelle. Induced betweenness in order-theoretic trees. Discrete Mathematics and Theoretical Computer Science, 2022, vol. 23 no. 2, special issue in honour of Maurice Pouzet, ⟨10.46298/dmtcs.7288⟩. ⟨hal-03175157v5⟩
Collections
90
Consultations
309
Téléchargements