共 11 条
- [1] Pinus A. G., 2001, USP MAT NAUK, V56, P35
- [2] Pinus A. G., 1998, ALGEBRA LOGIKA, V37, P432
- [3] PINUS AG, UNPUB VINITI
- [4] PINUS AG, 1997, ALGEBRA MODEL THEORY, P131
- [5] PINUS AG, 2002, VYCHISL SISTEMY, V169, P26
- [6] PINUS AG, 2002, SIB MAT ZH, V43, P858
- [7] PINUS AG, 2001, NGTU NOVOSIBIRSK, V3, P107
- [8] PINUS AG, 2001, MAT VOPROSY KIBERN, V10, P235
- [9] Pudlak P., 1980, ALGEBR UNIV, V10, P74, DOI 10.1007/BF02482893
- [10] YU LE, 1980, DECIDABILITY PROBLEM