Computer solutions of problems in inverse semigroups.
From MaRDI portal
(Redirected from Publication:3562322)
Recommendations
- scientific article; zbMATH DE number 4067239
- On equations in inverse semigroups.
- An elegant 3-basis for inverse semigroups.
- Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
- Varieties of regular semigroups with uniquely defined inversion
Cites work
- A field guide to equational logic
- A legacy recalled and a tradition continued
- Another single law for groups
- Automated discovery of new axiomatizations of the left group and right group calculi
- Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
- Equational postulates for the Sheffer stroke
- scientific article; zbMATH DE number 3824029 (Why is no real title available?)
- scientific article; zbMATH DE number 3083517 (Why is no real title available?)
- Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green
- On single-law definitions of groups
- Postulates for Commutative Groups
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
- Short single axioms for Boolean algebra
- Single axioms for groups
- Single axioms for groups and abelian groups with various operations
- Single axioms for the left group and right group calculi
- Single identities for lattice theory and for weakly associative lattices
- Single identities for ternary Boolean algebras
- Solution of the Robbins problem
- Universal equational theories and varieties of algebras
- Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)
- What groups were: A study of the development of the axiomatics of group theory
Cited in
(8)- Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)
- Varieties of regular semigroups with uniquely defined inversion
- Basis reduction for cryptogroups and orthogroups
- Axioms for unary semigroups via division operations.
- scientific article; zbMATH DE number 4051903 (Why is no real title available?)
- scientific article; zbMATH DE number 4067239 (Why is no real title available?)
- A method for finding new sets of axioms for classes of semigroups.
- An elegant 3-basis for inverse semigroups.
This page was built for publication: Computer solutions of problems in inverse semigroups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3562322)
