Pages that link to "Item:Q4775859"
From MaRDI portal
The following pages link to Turing machines and the spectra of first-order formulas (Q4775859):
Displaying 21 items.
- Some remarks on real numbers induced by first-order spectra (Q306827) (← links)
- Applying, extending, and specializing pseudorecursiveness (Q598283) (← links)
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- On Horn spectra (Q757356) (← links)
- First-order spectra with one variable (Q909462) (← links)
- Lower bound results on lengths of second-order formulas (Q1071760) (← links)
- Complete problems in the first-order predicate calculus (Q1075318) (← links)
- Descriptive characterizations of computational complexity (Q1123616) (← links)
- Complexity results for classes of quantificational formulas (Q1157324) (← links)
- The quantifier structure of sentences that characterize nondeterministic time complexity (Q1198956) (← links)
- Hereditarily-finite sets, data bases and polynomial-time computability (Q1311973) (← links)
- Listing graphs that satisfy first-order sentences (Q1337473) (← links)
- First-order spectra with one binary predicate (Q1350533) (← links)
- Nondeterministic stack register machines (Q1391527) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
- On the Variable Hierarchy of First-Order Spectra (Q2957699) (← links)
- Asymptotic invariants, complexity of groups and related problems (Q3143713) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- Characterizations of periods of multi-dimensional shifts (Q5245329) (← links)
