The following pages link to (Q3220637):
Displaying 4 items.
- The monadic second-order logic of graphs. IV: Definability properties of equational graphs (Q807611) (← links)
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
- Automatic graphs and D0L-sequences of finite graphs (Q1877692) (← links)
- The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues (Q4012672) (← links)