Publication:4068713
From MaRDI portal
zbMath0311.02054MaRDI QIDQ4068713
No author found.
Publication date: 1975
03D40: Word problems, etc. in computability and recursion theory
08B99: Varieties
08Axx: Algebraic structures
Related Items
The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras), Algebraic equivalents of the solvability of group-theoretic algorithmic problems, An algebra has a solvable word problem if and only if it is embeddable in a finitely generated simple algebra, Word problems