Pages that link to "Item:Q596315"
From MaRDI portal
The following pages link to Graph properties checkable in linear time in the number of vertices (Q596315):
Displaying 6 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- A logical approach to locality in pictures languages (Q295631) (← links)
- Descriptive complexity of \#P functions: a new perspective (Q2220444) (← links)
- The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems (Q2235760) (← links)
- Descriptive complexity of deterministic polylogarithmic time and space (Q2662676) (← links)
- On the Variable Hierarchy of First-Order Spectra (Q2957699) (← links)
