All Subjects
Light
9.1
Tame Congruence Theory and Its Motivation
9.2
Types of Minimal Algebras
9.3
Hobby-McKenzie Theorem and Its Applications
9.4
Decidability and Complexity of Tame Congruence Problems