Induced betweenness in order-theoretic trees

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<y<z∨z<y<x, and the corresponding betweenness structure is (N,B). The class of betweenn...

Full description

Bibliographic Details

Published in:	Discrete mathematics and theoretical computer science Vol. 23 no. 2, special issue...; no. Special issues
Main Author:	Courcelle, Bruno
Format:	Journal Article
Language:	English
Published:	DMTCS 17.09.2022 Discrete Mathematics & Theoretical Computer Science
Subjects:	[info.info-lo]computer science [cs]/logic in computer science [cs.lo] Computer Science Logic in Computer Science
ISSN:	1365-8050, 1462-7264, 1365-8050
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!