Pages that link to "Item:Q4345023"
From MaRDI portal
The following pages link to Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups (Q4345023):
Displaying 6 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Single axioms for groups (Q688567) (← links)
- Single axioms for groups and abelian groups with various operations (Q1312155) (← links)
- Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- Fiala-Agre list of single axioms for Boolean groups is wrong (Q5250572) (← links)