The following pages link to Another single law for groups (Q3704061):
Displaying 13 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Single axioms for groups (Q688567) (← links)
- Searching for shortest single axioms for groups of exponent \(6\) (Q861707) (← links)
- Some experiments with a completion theorem prover (Q1186705) (← links)
- Single axioms for groups and abelian groups with various operations (Q1312155) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- The shortest single axioms for groups of exponent 4 (Q1343390) (← links)
- Single axioms for odd exponent groups (Q1893129) (← links)
- Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
- ON SINGLE LAWS FOR VARIETIES OF QUASIGROUPS ASSOCIATED WITH EXTENDED CYCLE SYSTEMS (Q2752394) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5043598) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5089026) (← links)
