Pages that link to "Item:Q5718668"
From MaRDI portal
The following pages link to Descriptive complexity of finite structures: Saving the quantifier rank (Q5718668):
Displaying 4 items.
- The first order definability of graphs: Upper bounds for quantifier depth (Q860411) (← links)
- Defining long words succinctly in FO and MSO (Q2104260) (← links)
- Succinct definitions in the first order theory of graphs (Q2368907) (← links)
- Decomposable graphs and definitions with no quantifier alternation (Q2461780) (← links)
