共 28 条
- [1] [Anonymous], 1977, BASIC ALGEBRAIC GEOM
- [2] [Anonymous], 1986, J SOVIET MATH, DOI DOI 10.1007/BF01095638
- [3] BENOR M, 1989, 20TH P ACM STOC, P301
- [4] BORODIN A, 1989, IBM RC14923 TJ WATS
- [5] CHISTOV AL, 1984, LECT NOTES COMPUT SC, V176, P17
- [6] CHISTOV AL, 1986, J SOVIET MATH, V34
- [9] COMPLEXITY OF DECIDING TARSKI ALGEBRA [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 65 - 108