Publication:3862398
From MaRDI portal
zbMath0426.68020MaRDI QIDQ3862398
Marie Demlová, Jiri Demel, Václav Koubek
Publication date: 1979
decidability; modularity; finite algebras; subdirect irreducibility; finite lattices; minimal congruences; subdirect product decomposition; dimension of lattices
68Q25: Analysis of algorithms and problem complexity
08A30: Subalgebras, congruence relations
06C99: Modular lattices, complemented lattices
Related Items
Fast algorithms constructing minimal subalgebras, congruences, and ideals in a finite algebra, On the disjunctive set problem, Unnamed Item