Single axioms for groups
- 1 December 1992
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 9 (3) , 291-308
- https://doi.org/10.1007/bf00245293
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Yet another single law for groupsIllinois Journal of Mathematics, 1986
- Another single law for groupsBulletin of the Australian Mathematical Society, 1981