Concepedia
Journal of Automated Reasoning · 1987 · 52 citations · 10 references
Open access
Natural SciencesMathematicsRepresentation TheoryAbstract AlgebraCategory TheoryGroup TheoryFinite Abelian GroupsSemigroup TheoryUnification
10
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text
Computing, Computer Science, Decision Support Systems +4
A Course in Universal Algebra.
Andreas Blass, Stanley Burris, Hanamantagouda P. Sankappanavar · American Mathematical Monthly · 1984 · 2K citations
Natural Sciences, Mathematics, Mathematics Education +10
Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors
L. E. Dickson · American Journal of Mathematics · 1913 · 498 citations
Natural Sciences, Classics, Allelopathy +8
Complete Sets of Reductions for Some Equational Theories
Gerald E. Peterson, Mark E. Stickel · Journal of the ACM · 1981 · 413 citations · Full text
Natural Sciences, Mathematics, Discrete Mathematics +7
Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
Carl Hewitt · Defense Technical Information Center (DTIC) · 1972 · 319 citations
Computing, Autonomous Systems, Computer Science +8