The following pages link to (Q4726238):
Displaying 5 items.
- Free products and the word problem (Q1108303) (← links)
- On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups (Q1177464) (← links)
- Efficient solution of the word problem in slim varieties (Q1315326) (← links)
- Decidability of elementary theories of certain finitely defined algebras (Q1803020) (← links)
- On finitely presented and free algebras of Cantor varieties (Q1847294) (← links)