The following pages link to (Q5805025):
Displayed 30 items.
- Decidability of the elementary theory of a finitely defined quasigroup (Q920205) (← links)
- Groups of automorphisms of finitely presented quasigroups (Q1076169) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Free products and the word problem (Q1108303) (← links)
- New decision algorithms for finitely presented commutative semigroups (Q1147232) (← links)
- On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups (Q1177464) (← links)
- The diamond lemma for ring theory (Q1225669) (← links)
- An algebra has a solvable word problem if and only if it is embeddable in a finitely generated simple algebra (Q1247319) (← links)
- Equations over quasigroups (Q1259701) (← links)
- Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition (Q1307278) (← links)
- Efficient solution of the word problem in slim varieties (Q1315326) (← links)
- Algorithmic problems for amalgams of finite semigroups (Q1579152) (← links)
- Decidability of elementary theories of certain finitely defined algebras (Q1803020) (← links)
- On the finite completion of partial latin cubes (Q1843440) (← links)
- On finitely presented and free algebras of Cantor varieties (Q1847294) (← links)
- Computers and universal algebra: Some directions (Q1902542) (← links)
- Quasigroups, right quasigroups and category coverings (Q1913872) (← links)
- Solution of the basic algorithmic problems in some classes of quasigroups with identities (Q2538663) (← links)
- Free decompositions in certain primitive classes of abstract algebras (Q2544783) (← links)
- The completion of finite incomplete Steiner triple systems with applications to loop theory (Q2546203) (← links)
- Varieties of quasigroups (Q2559566) (← links)
- Some Remarks on a Paper by R. H. Bruck (Q3237195) (← links)
- Word problems (Q4170710) (← links)
- (Q4351234) (← links)
- (Q4396132) (← links)
- The Isomorphism Problem for Some Classes of Multiplicative Systems (Q5515383) (← links)
- (Q5534252) (← links)
- Isotopy Invariants in Quasigroups (Q5609440) (← links)
- Isotopes of some special quasigroup varieties (Q5632804) (← links)
- Embedding Theorems for Multiplicative Systems and Projective Geometries (Q5812217) (← links)