A BIBLIOGRAPHY OF QUANTIFIER ELIMINATION FOR REAL CLOSED FIELDS

被引：16

作者：

ARNON, DS

机构：

来源：

关键词：

D O I：

10.1016/S0747-7171(88)80016-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：267 / 274

页数：8

共 109 条

[31] ELIMINATION OF QUANTIFIERS IN ALGEBRAIC STRUCTURES [J].

MACINTYRE, A ;

MCKENNA, K ;

VANDENDRIES, L .

[32]

MASSEY W. S., 1978, HOMOLOGY COHOMOLOGY

MCCALLUM, S .

PRILL, D .

[35]

Rabin M.O., 1977, HDB MATH LOGIC, P595

[36] SOME ASPECTS OF COMPLEXITY IN REAL ALGEBRAIC-GEOMETRY [J].

RISLER, JJ .

[37]

Robinson Abraham, 1965, INTRO MODEL THEORY M

[38]

SCHWARTZ JT, 1983, ADV APPL MATH, V4, P298

[39] A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA [J].

SEIDENBERG, A .

[40] REAL ADDITION AND THE POLYNOMIAL HIERARCHY [J].

SONTAG, ED .