Concepedia
Theoretical Computer Science · 1984 · 147 citations · 3 references
3
Computing in systems described by equations
Computer-Aided Design · 1978 · 216 citations · Full text
Natural Sciences, Computer Science, Mathematics +8
Proofs by induction in equational theories with constructors
Gérard Huet, Jean-Marie Hullot · 1980 · 78 citations
Natural Sciences, Computer Science, Mathematics +17
Completeness of calculii for axiomatically defined classes of algebras
Alan L. Selman · Algebra Universalis · 1972 · 51 citations