The word problem for discriminator varieties
From MaRDI portal
Publication:5905515
DOI10.1007/BF00971206zbMath0782.08008MaRDI QIDQ5905515
Publication date: 27 September 1992
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
08B05: Equational logic, Mal'tsev conditions
03D40: Word problems, etc. in computability and recursion theory
08A50: Word problems (aspects of algebraic structures)
Cites Work