1
2
3
Eilers, Søren, Ariza Ruiz, Efrén Danilo, Sørensen, Adam P. W.
Veröffentlicht in: Münster Journal of Mathematics
2012
Veröffentlicht in: Münster Journal of Mathematics
2012
4
5
6
7
8
9
10
11
12
13
a graph-based approach
Inhaltsverzeichnis:
“...-Order Logic on Graphs ..... 10 -- 2.4. Decidability of MSO on HRG-Generated Sets of Graphs ..... 10 -- 3...”
15
16
17
18
19
20