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] D. Knuth. Notes on central groupoids , 1970 .
[2] J. R. Guard,et al. Semi-Automated Mathematics , 1969, JACM.
[3] T. Evans. Products of Points—Some Simple Algebras and Their Identities , 1967 .
[4] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[5] A. Clifford,et al. The algebraic theory of semigroups , 1964 .
[6] T. Evans. On multiplicative systems defined by generators and relations , 1951, Mathematical Proceedings of the Cambridge Philosophical Society.
[7] H. B. Mann. On certain systems which are almost groups , 1944 .
[8] M. Newman. On Theories with a Combinatorial Definition of "Equivalence" , 1942 .
[9] A. Clifford. A System Arising from a Weakened Set of Group Postulates , 1933 .
[10] L. Dickson. Definitions of a group and a field by independent postulates , 1905 .