Word problems and a homological finiteness condition for monoids

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

On Theories with a Combinatorial Definition of "Equivalence"

M. H. A. Newman · Annals of Mathematics · 1942 · 637 citations

Natural Sciences, Computer Science, Mathematics +12

Finiteness properties of groups

Kenneth S. Brown · Journal of Pure and Applied Algebra · 1987 · 425 citations

Natural Sciences, Mathematics, Combinatorics +8

Free Differential Calculus. I: Derivation in the Free Group Ring

Ralph H. Fox · Annals of Mathematics · 1953 · 390 citations

Natural Sciences, Mathematics, Algebra +10

Some properties of conversion

Alonzo Church, J. Barkley Rosser · Transactions of the American Mathematical Society · 1936 · 282 citations · Full text

Natural Sciences, Mathematics, Algebra +8