Pages that link to "Item:Q1198956"
From MaRDI portal
The following pages link to The quantifier structure of sentences that characterize nondeterministic time complexity (Q1198956):
Displaying 4 items.
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Linear time and the power of one first-order universal quantifier (Q1854556) (← links)
- A nonasymptotic lower time bound for a strictly bounded second-order arithmetic (Q2498915) (← links)
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (Q3586006) (← links)