共 50 条
- [41] DISTRIBUTIVE CONGRUENCE LATTICES OF FINITE-ALGEBRAS ACTA SCIENTIARUM MATHEMATICARUM, 1987, 51 (1-2): : 153 - 162
- [48] QUANTIFIER ELIMINATION FOR DISTRIBUTIVE LATTICES AND MEASURE ALGEBRAS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (03): : 249 - 261
- [50] REPRESENTATIONS AND EMBEDDINGS OF M-DISTRIBUTIVE LATTICES HOUSTON JOURNAL OF MATHEMATICS, 1984, 10 (03): : 315 - 324