COMPLEXITY OF DECIDING TARSKI ALGEBRA

被引：110

作者：

GRIGOREV, DY

机构：

来源：

关键词：

D O I：

10.1016/S0747-7171(88)80006-3

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：65 / 108

页数：44

共 26 条

[1]

BENOR M, 1984, 16TH P ANN ACM S THE, P457

[2]

CHISTOV AL, 1983, LOMI E1083 PREPR, V2

[3]

CHISTOV AL, 1982, LOMI E582 PREPR

[4]

CHISTOV AL, 1983, LOMI E983 PREPR, V1

[5]

CHISTOV AL, IN PRESS J SOVIET MA

[6]

CHISTOV AL, 1984, SPRINGER LEC NOTES C, V176, P17

[7] DECISION PROCEDURES FOR REAL AND P-ADIC FIELDS [J].

COHEN, PJ .

[8]

Fischer M. J., 1974, P SIAM AMS S, P27

[9]

GRIGOREV DY, IN PRESS J SOVIET MA

[10]

GRIGOREV DY, 1987, P INT C MATH BERKELE