On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras.

Peter Mayr

Browse the full MFCS paper archive.