Simple Word Problems in Universal Algebras
Authors:
- D. E. KnuthDKD. E. Knuth
- P. B. BendixPBP. B. Bendix
- 1 January 1983
- book chapter
- Published by Springer Nature
- p. 342-376
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Notes on central groupoidsJournal of Combinatorial Theory, 1970
- 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