research
∙
12/14/2022
Unfoldings and coverings of weighted graphs
Coverings of undirected graphs are used in distributed computing, and un...
research
∙
11/30/2021
Induced betweenness in order-theoretic trees
The ternary relation B(x,y,z) of betweenness states that an element y is...
research
∙
11/07/2021
Order-theoretic trees: monadic second-order descriptions and regularity
An order-theoretic forest is a countable partial order such that the set...
research
∙
08/17/2020
A unified algorithm for colouring graphs of bounded clique-width
Clique-width is one of the graph complexity measures leading to polynomi...
research
∙
04/21/2020
Axiomatization of betweenness in order-theoretic trees
The ternary betweenness relation of a tree, B(x,y,z), indicates that y i...
research
∙
04/21/2020