THE COMPLEXITY OF THE DECISION PROBLEM FOR THE FIRST ORDER THEORY OF ALGEBRAICALLY CLOSED FIELDS
1987 ◽
Vol 29
(2)
◽
pp. 459-475
◽
Keyword(s):
Keyword(s):
2003 ◽
Vol 03
(02)
◽
pp. 217-238
◽
Keyword(s):
Keyword(s):
1976 ◽
Vol 41
(2)
◽
pp. 460-464
◽
1992 ◽
Vol 13
(3)
◽
pp. 255-299
◽
Keyword(s):
1992 ◽
Vol 13
(3)
◽
pp. 301-327
◽
Keyword(s):
Keyword(s):