THE COMPLEXITY OF THE DECISION PROBLEM FOR THE FIRST ORDER THEORY OF ALGEBRAICALLY CLOSED FIELDS
Open Access
- 30 April 1987
- journal article
- Published by IOP Publishing in Mathematics of the USSR-Izvestiya
- Vol. 29 (2), 459-475
- https://doi.org/10.1070/im1987v029n02abeh000979