Automatic Generation of Classification Theorems for Finite Algebras.

Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland

Browse the full CADE paper archive.