Concepedia
Journal of Computer and System Sciences · 1981 · 182 citations · 4 references
Open access
ComputingComputer ScienceMathematicsAlgorithmsFormal MethodsTheory Of ComputationApproximation AlgorithmsComputational ComplexityDeductive VerificationRandomized Geometric AlgorithmsCompletenessCompleteness ResultsCompletion ProceduresGraph CompletionMatrix Completion
4
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
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
Proofs by induction in equational theories with constructors
Gérard Huet, Jean-Marie Hullot · 1980 · 78 citations
Natural Sciences, Computer Science, Mathematics +17
New decision algorithms for finitely presented commutative semigroups
A. Michael Ballantyne, Dallas Lankford · Computers & Mathematics with Applications · 1981 · 45 citations
Computing, Computer Science, Mathematics +5