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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Discrete mathematics and theoretical computer science Jg. 23 no. 2, special issue...; H. Special issues
1. Verfasser:	Courcelle, Bruno
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	DMTCS 17.09.2022 Discrete Mathematics & Theoretical Computer Science
Schlagworte:	[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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!