Bruno Courcelle - Induced betweenness in order-theoretic trees

dmtcs:7288 - Discrete Mathematics & Theoretical Computer Science, September 17, 2022, vol. 23 no. 2, special issue in honour of Maurice Pouzet - https://doi.org/10.46298/dmtcs.7288
Induced betweenness in order-theoretic treesArticle

Authors: Bruno Courcelle ORCID1


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

https://doi.org/10.46298/dmtcs.7288
Source: HAL:hal-03175157v5
Volume: vol. 23 no. 2, special issue in honour of Maurice Pouzet
Section: Special issues
Published on: September 17, 2022
Accepted on: March 2, 2022
Submitted on: March 22, 2021
Keywords: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Classifications

Mathematics Subject Classification 20201
Sources:
  • [1] zbMATH Open.

Share and export

Consultation statistics

This page has been seen 715 times.
This article's PDF has been downloaded 486 times.