The following pages link to (Q3220637):
Displaying 3 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)