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á bibliografie

Vydáno 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:	angličtina
Vydáno:	DMTCS 17.09.2022 Discrete Mathematics & Theoretical Computer Science
Témata:	[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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!