共 22 条
[1]
ABBOTT JC, 1969, SETS LATTICES BOOLEA
[2]
ADLEMAN L, 1975, 16TH P ANN IEEE S F, P169
[3]
[Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047
[4]
Birkhoff G., 1967, LATTICE THEORY
[5]
BLONIARZ PA, 1984, J ACM, V31, P879, DOI 10.1145/1634.1639
[6]
Davis M., 1982, COMPUTABILITY UNSOLV
[8]
Garey MR., 1979, COMPUTERS INTRACTABI
[9]
HUNT HB, UNPUB DISTRIBUTIVE L
[10]
HUNT HB, UNPUB NONLINEAR ALGE