AXIOMATIZATIONS OF BETWEENNESS IN ORDER-THEORETIC TREES

Courcelle, B

Courcelle, B (corresponding author), CNRS, LaBRI, Bordeaux, France.; Courcelle, B (corresponding author), Bordeaux Univ, Bordeaux, France.

LOGICAL METHODS IN COMPUTER SCIENCE, 2021; 17 (1):

Abstract

The ternary betweenness relation of a tree, B (x , y, z), expresses that the node y is on the unique path between nodes x and z. This notion can be ex......

Full Text Link