Pages that link to "Item:Q3329449"
From MaRDI portal
The following pages link to Complexity of the first-order theory of almost all finite structures (Q3329449):
Displaying 22 items.
- On the expressive power of counting (Q672336) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- 0-1 laws and decision problems for fragments of second-order logic (Q920075) (← links)
- Nonconvergence, undecidability, and intractability in asymptotic problems (Q1095135) (← links)
- A logical approach to asymptotic combinatorics I. First order properties (Q1103939) (← links)
- The computational complexity of asymptotic problems. I: Partial orders (Q1115860) (← links)
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination (Q1185458) (← links)
- Distanced graphs (Q1193450) (← links)
- Infinitary logics and 0-1 laws (Q1193591) (← links)
- A probabilistic view of Datalog parallelization (Q1389447) (← links)
- The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard (Q1607043) (← links)
- The Andrews-Curtis conjecture, term rewriting and first-order proofs (Q1662269) (← links)
- The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws (Q2283277) (← links)
- The complexity of definability by open first-order formulas (Q3386916) (← links)
- Probabilities of Sentences about Very Sparse Random Graphs (Q3989740) (← links)
- First-Order Queries on Finite Structures Over the Reals (Q4210130) (← links)
- On the Complexity of the First-order Random Theory (Q4461932) (← links)
- (Q4805940) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)
- The Exact Complexity of the First-Order Logic Definability Problem (Q5012557) (← links)
- An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions (Q6063870) (← links)
