The Complexity of Checking Quasi-Identities over Finite Algebras with a Mal'cev Term.

Erhard Aichinger, Simon Grnbacher

Browse the full STACS paper archive.