Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable
1986 ◽
Vol 96
(4)
◽
pp. 636-636
1986 ◽
Vol 96
(4)
◽
pp. 636
◽
1995 ◽
Vol 131
(1)
◽
pp. 78-93
◽
Keyword(s):
1993 ◽
Vol 42
(1)
◽
pp. 155-160
Keyword(s):
2017 ◽
Vol 28
(2)
◽
pp. 787-816
◽
Keyword(s):
2013 ◽
Vol 50
◽
pp. 197-207
◽