No label defined (Q2765572)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
16 June 2002
0 references
algorithmic quantifier elimination
0 references
Turing machine
0 references
\(\text{P}\neq\text{NP}\)
0 references
infinite Abelian groups
0 references
polynomial hierarchy
0 references
