|
|
|
||
The theory of free lattices.
Last update: G_M (05.10.2001)
|
|
||
1. Construction of free lattices.
2. Intervals in free lattices.
3. Covers in free lattices.
4. Algorithms for data types of finites lattices and ordered sets.
5. Algorithms for congruences and subdirect decomposition of finite lattices. Last update: T_KA (26.04.2004)
|