-
1
Induced betweenness in order-theoretic trees
Veröffentlicht in Discrete mathematics and theoretical computer science
VolltextArtikel -
2
-
3
Algebraic and logical descriptions of generalized trees
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
4
From tree-decompositions to clique-width terms
Veröffentlicht in Discrete Applied Mathematics
VolltextArtikel -
5
On quasi-planar graphs: Clique-width and logical description
Veröffentlicht in Discrete Applied Mathematics
VolltextArtikel -
6
Grammars and clique-width bounds from split decompositions
Veröffentlicht in Discrete Applied Mathematics
VolltextArtikel -
7
-
8
Fly-automata for checking MSO2 graph properties
Veröffentlicht in Discrete Applied Mathematics
VolltextArtikel -
9
Fly-automata for checking MSO^sub 2^ graph properties
Veröffentlicht in Discrete Applied Mathematics
VolltextArtikel -
10
Induced betweenness in order-theoretic trees
Veröffentlicht in Discrete mathematics and theoretical computer science
VolltextArtikel -
11
Fly-automata for checking MSO 2 graph properties
Veröffentlicht in Discrete Applied Mathematics
VolltextArtikel -
12
Several notions of rank-width for countable graphs
Veröffentlicht in Journal of combinatorial theory. Series B
VolltextArtikel -
13
Monadic second-order definable graph orderings
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
14
Linear delay enumeration and monadic second-order logic
Veröffentlicht in Discrete Applied Mathematics
VolltextArtikel -
15
Axiomatization of betweenness in order-theoretic trees
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
16
-
17
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
Veröffentlicht in Journal of applied logic
VolltextArtikel -
18
-
19
On the Monadic Second-Order Transduction Hierarchy
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
20