The following pages link to (Q4542549):
Displaying 4 items.
- The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions. (Q1874383) (← links)
- The monadic quantifier alternation hierarchy over grids and graphs (Q2506497) (← links)
- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (Q3644743) (← links)
- Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures (Q5958302) (← links)
