Pages that link to "Item:Q1266167"
From MaRDI portal
The following pages link to Monadic logical definability of nondeterministic linear time (Q1266167):
Displaying 4 items.
- Graph properties checkable in linear time in the number of vertices (Q596315) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Nonerasing, counting, and majority over the linear time hierarchy (Q1854524) (← links)
- Linear time and the power of one first-order universal quantifier (Q1854556) (← links)
