A General Framework to Build Contextual Cover Set Induction Provers

Proceedings of the 19th International Joint Conference on Artificial Intelligence

Josep M. Pujol, Jordi Delgado, Ramón Sangüesa et al. · International Joint Conference on Artificial Intelligence · 2005 · 5.8K citations

Computing, Computer Science, Artificial Intelligence +11

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +15

On the Structure of Abstract Algebras

Garrett Birkhoff · Mathematical Proceedings of the Cambridge Philosophical Society · 1935 · 966 citations

Natural Sciences, Mathematics, Algebra +2

Orderings for term-rewriting systems

Nachum Dershowitz · Theoretical Computer Science · 1982 · 607 citations

Computing, Computer Science, Algorithms +6

Computational Problems in Abstract Algebra

Harold Chapman Brown, John Leech · Mathematics of Computation · 1971 · 593 citations

Natural Sciences, Computer Science, Mathematics +6