Quantifier Elimination For Tame Fields (Q6234455)
From MaRDI portal
scientific article; zbMATH DE number 900209822
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantifier Elimination For Tame Fields |
scientific article; zbMATH DE number 900209822 |
Statements
17 July 2012
0 references
math.LO
0 references