The word problem for discriminator varieties
From MaRDI portal
Publication:5894715
DOI10.1007/BF00971206zbMath0777.08010MaRDI QIDQ5894715
Publication date: 14 November 1993
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