Pages that link to "Item:Q1285590"
From MaRDI portal
The following pages link to Elimination of parameters in the polynomial hierarchy (Q1285590):
Displaying 7 items.
- Transfer theorems via sign conditions (Q1603522) (← links)
- The complexity of local dimensions for constructible sets (Q1977150) (← links)
- A promenade through correct test sequences. I: Degree of constructible sets, Bézout's inequality and density (Q2052162) (← links)
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets (Q2489141) (← links)
- Definability of Geometric Properties in Algebraically Closed Fields (Q4704658) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311110) (← links)
- Typed Lambda Calculi and Applications (Q5704012) (← links)