Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
- 1 January 1970
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Semi-Automated MathematicsJournal of the ACM, 1969
- Products of Points--Some Simple Algebras and their IdentitiesThe American Mathematical Monthly, 1967
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- On multiplicative systems defined by generators and relationsMathematical Proceedings of the Cambridge Philosophical Society, 1951
- On certain systems which are almost groupsBulletin of the American Mathematical Society, 1944
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942
- A System Arising from a Weakened Set of Group PostulatesAnnals of Mathematics, 1933
- Definitions of a group and a field by independent postulatesTransactions of the American Mathematical Society, 1905