The following pages link to Single axioms for groups (Q688567):
Displaying 22 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Ken Kunen: algebraist. (Q649602) (← links)
- Automated discovery of new axiomatizations of the left group and right group calculi (Q688546) (← links)
- Searching for shortest single axioms for groups of exponent \(6\) (Q861707) (← links)
- Applying SAT solving in classification of finite algebras (Q862393) (← links)
- Automatic construction and verification of isotopy invariants (Q928664) (← links)
- Yet another single law for groups (Q1068187) (← links)
- Group axioms for iteration (Q1283821) (← links)
- Single axioms for groups and abelian groups with various operations (Q1312155) (← links)
- The shortest single axioms for groups of exponent 4 (Q1343390) (← links)
- Single axioms for odd exponent groups (Q1893129) (← links)
- OTTER experiments in a system of combinatory logic (Q1893130) (← links)
- Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
- Single axioms: With and without computers (Q2725955) (← links)
- Shortest single axioms with neutral element for groups of exponent 2 and 3. (Q2870886) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- (Q4025005) (← links)
- System description generating models by SEM (Q4647530) (← 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)
- Fiala-Agre list of single axioms for Boolean groups is wrong (Q5250572) (← links)
- Absolutely Independent Group Axioms (Q5507584) (← links)
