Pages that link to "Item:Q909462"
From MaRDI portal
The following pages link to First-order spectra with one variable (Q909462):
Displaying 16 items.
- One unary function says less than two in existential second order logic (Q286970) (← links)
- A logical approach to locality in pictures languages (Q295631) (← links)
- Graph properties checkable in linear time in the number of vertices (Q596315) (← links)
- Decidability in elementary analysis. II (Q912081) (← links)
- Investigation of binary spectra by explicit polynomial transformations of graphs (Q1318703) (← links)
- Invariance properties of RAMs and linear time (Q1327595) (← links)
- First-order spectra with one binary predicate (Q1350533) (← links)
- Linear time and the power of one first-order universal quantifier (Q1854556) (← links)
- On winning Ehrenfeucht games and monadic NP (Q1919539) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- On the Variable Hierarchy of First-Order Spectra (Q2957699) (← links)
- (Q4643954) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
- On spectra of sentences of monadic second order logic with counting (Q5311744) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
