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

Celý popis

Podrobná bibliografia

Vydané v:	Discrete mathematics and theoretical computer science Ročník 23 no. 2, special issue...; číslo Special issues
Hlavný autor:	Courcelle, Bruno
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	DMTCS 17.09.2022 Discrete Mathematics & Theoretical Computer Science
Predmet:	[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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!