The following pages link to (Q5805025):
Displayed 47 items.
- Effective codescent morphisms in the varieties determined by convergent term rewriting systems. (Q278228) (← links)
- Groups, triality, and hyperquasigroups. (Q425284) (← links)
- Decidability of the elementary theory of a finitely defined quasigroup (Q920205) (← links)
- Projective planes. I. (Q966172) (← links)
- Algebraic structure in a family of Nim-like arrays. (Q1039769) (← 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)
- Finiteness properties of direct products of algebraic structures (Q1680281) (← 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)
- Effective codescent morphisms in some varieties of universal algebras (Q2015827) (← links)
- Admissible Galois structures on the categories dual to some varieties of universal algebras (Q2048249) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- The module theory of semisymmetric quasigroups, totally symmetric quasigroups, and triple systems (Q2164986) (← links)
- On multiplicative equivalences that are totally incompatible with division (Q2314982) (← links)
- On the multiplicative groups of free and free commutative quasigroups (Q2399986) (← links)
- On the word problem in the free quasigroups in the varieties of quasigroups isotopic to groups (Q2399987) (← links)
- On congruences of groupoids closely connected with quasigroups. (Q2451728) (← 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)
- Multiplication groups of free loops. II (Q4351234) (← links)
- Multiplication groups of free loops. I (Q4396132) (← links)
- On the enumeration and asymptotic growth of free quasigroup words (Q4970538) (← links)
- Generalized Gröbner bases: Theory and applications. A condensation (Q5055723) (← links)
- On torsion-free nilpotent loops (Q5147023) (← 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)
- Quasigroup covers of division groupoids (Q6125068) (← links)