Concepedia
Journal of Pure and Applied Algebra · 1994 · 28 citations · 8 references
Natural SciencesMathematicsCombinatoricsGroup StructureGroup TheoryCoxeter GraphsRewrite SystemsRewriting Systems
8
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
Orderings for term-rewriting systems
Nachum Dershowitz · Theoretical Computer Science · 1982 · 607 citations
Computing, Computer Science, Algorithms +6
On the homology of associative algebras
David J. Anick · Transactions of the American Mathematical Society · 1986 · 255 citations · Full text
Natural Sciences, Computer Science, Mathematics +13
Word problems and a homological finiteness condition for monoids
Craig C. Squier · Journal of Pure and Applied Algebra · 1987 · 157 citations
Natural Sciences, Mathematics, Combinatorics +8