The following pages link to (Q4683860):
Displaying 5 items.
- Definability in the substructure ordering of finite directed graphs (Q2665828) (← links)
- Complexity in Young's lattice (Q2668002) (← links)
- Alternating complexity of counting first-order logic for the subword order (Q2687036) (← links)
- The Subtrace Order and Counting First-Order Logic (Q5042249) (← links)
- (Q5089232) (← links)