THE COMPLEXITY OF THE DECISION PROBLEM FOR THE FIRST ORDER THEORY OF ALGEBRAICALLY CLOSED FIELDS
- 30 April 1987
- journal article
- Published by Steklov Mathematical Institute in Mathematics of the USSR-Izvestiya
- Vol. 29 (2) , 459-475
- https://doi.org/10.1070/im1987v029n02abeh000979
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: