Pages that link to "Item:Q3226749"
From MaRDI portal
The following pages link to Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität (Q3226749):
Displaying 18 items.
- Applying, extending, and specializing pseudorecursiveness (Q598283) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- On Horn spectra (Q757356) (← links)
- Investigation of binary spectra by explicit polynomial transformations of graphs (Q1318703) (← links)
- Nondeterministic stack register machines (Q1391527) (← links)
- Finite Axiomatizability using additional predicates (Q3256312) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q3677726) (← links)
- Classifying the computational complexity of problems (Q3781088) (← links)
- Complexity classes and theories of finite models (Q3942945) (← links)
- Sets of Formulas Valid in Finite Structures (Q4401428) (← links)
- (Q4643954) (← links)
- Turing machines and the spectra of first-order formulas (Q4775859) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- Günter Asser (1926–2015) (Q5258474) (← 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)
- Relational structures constructible by quantifier free definable operations (Q5444700) (← links)
