The decidability of the affine completeness generation problem.
From MaRDI portal
Publication:1771940
DOI10.1007/S00012-002-8208-XzbMath1062.08006OpenAlexW2069329186MaRDI QIDQ1771940
Publication date: 19 April 2005
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-002-8208-x
Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40) Congruence modularity, congruence distributivity (08B10)
Related Items (1)
This page was built for publication: The decidability of the affine completeness generation problem.