scientific article; zbMATH DE number 3065870

From MaRDI portal

zbMath0043.02001MaRDI QIDQ5805025

Trevor Evans

Publication date: 1951


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Groups of automorphisms of finitely presented quasigroups, Effective codescent morphisms in the varieties determined by convergent term rewriting systems., Multiplication groups of free loops. II, Equational logic and categorical semantics for multi-languages, Generalized Gröbner bases: Theory and applications. A condensation, History and basic features of the critical-pair/completion procedure, Computers and universal algebra: Some directions, Free products and the word problem, The Isomorphism Problem for Some Classes of Multiplicative Systems, The module theory of semisymmetric quasigroups, totally symmetric quasigroups, and triple systems, Quasigroups, right quasigroups and category coverings, On the multiplicative groups of free and free commutative quasigroups, On the word problem in the free quasigroups in the varieties of quasigroups isotopic to groups, Multiplication groups of free loops. I, Isotopes of some special quasigroup varieties, Finiteness properties of direct products of algebraic structures, Quasigroup covers of division groupoids, New decision algorithms for finitely presented commutative semigroups, Groups, triality, and hyperquasigroups., Unnamed Item, Isotopy Invariants in Quasigroups, Decidability of the elementary theory of a finitely defined quasigroup, On congruences of groupoids closely connected with quasigroups., On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups, On torsion-free nilpotent loops, Projective planes. I., Effective codescent morphisms in some varieties of universal algebras, The diamond lemma for ring theory, An algebra has a solvable word problem if and only if it is embeddable in a finitely generated simple algebra, Word problems, Decidability of elementary theories of certain finitely defined algebras, Equations over quasigroups, Admissible Galois structures on the categories dual to some varieties of universal algebras, On the enumeration and asymptotic growth of free quasigroup words, Solution of the basic algorithmic problems in some classes of quasigroups with identities, Free decompositions in certain primitive classes of abstract algebras, The completion of finite incomplete Steiner triple systems with applications to loop theory, Some Remarks on a Paper by R. H. Bruck, On multiplicative equivalences that are totally incompatible with division, Varieties of quasigroups, Algebraic structure in a family of Nim-like arrays., Algorithmic problems for amalgams of finite semigroups, On the finite completion of partial latin cubes, On finitely presented and free algebras of Cantor varieties, Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition, Efficient solution of the word problem in slim varieties, Embedding Theorems for Multiplicative Systems and Projective Geometries