Type: Article
Publication Date: 2003-12-01
Citations: 6
DOI: https://doi.org/10.1007/s00012-003-1832-2
Action | Title | Year | Authors |
---|---|---|---|
+ PDF Chat | Automated theorem proving in quasigroup and loop theory | 2010 |
J. D. Phillips David Stanovský |
Action | Title | Year | Authors |
---|---|---|---|
+ PDF Chat | Axioms for Semi-Lattices | 1965 |
D. H. Potts |
+ | Equational theory of algebras with a majority polynomial | 1977 |
R. Padmanabhan |