Pages that link to "Item:Q3318756"
From MaRDI portal
The following pages link to The Spectra of First-Order Sentences and Computational Complexity (Q3318756):
Displayed 5 items.
- Graph properties checkable in linear time in the number of vertices (Q596315) (← links)
- First-order spectra with one variable (Q909462) (← links)
- The quantifier structure of sentences that characterize nondeterministic time complexity (Q1198956) (← links)
- First-order spectra with one binary predicate (Q1350533) (← links)
- Universal quantifiers and time complexity of random access machines (Q3699679) (← links)