scientific article; zbMATH DE number 4154512

MaRDI QIDQ3483333zbMATHFDO

Authors Dietmar Schweigert

Publication date 1990

zbMATH Keywords

finite universal algebradecision procedure for identities

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Operations and polynomials in algebraic structures, primal algebras (08A40) Applications of universal algebra in computer science (08A70) Word problems (aspects of algebraic structures) (08A50)

Recommendations

• scientific article; zbMATH DE number 1304317
• The existence of a near-unanimity term in a finite algebra is decidable
• Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras
• Unifiability and admissibility in finite algebras
• On the (un)decidability of a near-unanimity term

Cited in

(3)

• PROJECTIVE CLONE HOMOMORPHISMS
• Clones, order varieties, near unanimity functions and holes
• scientific article; zbMATH DE number 5130542 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3483333)