Concepedia
Journal of Symbolic Computation · 1989 · 30 citations · 26 references
HumanitiesComputer ScienceMathematicsFormal MethodsPhilosophy Of MathematicsTheory Of ComputationChurch-turing ThesisFirst-order LogicFormal Language FoundationsModel TheoryPredicate LogicRecursion TheoryDecidabilityEquational LogicUnification
26
Introduction to automata theory, languages and computation
Mathematics and Computers in Simulation · 1981 · 10.9K citations
Computing, Computer Science, Mathematics +10
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text
Computing, Computer Science, Decision Support Systems +4
A Course in Universal Algebra.
Andreas Blass, Stanley Burris, Hanamantagouda P. Sankappanavar · American Mathematical Monthly · 1984 · 2K citations
Natural Sciences, Mathematics, Mathematics Education +10
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 the Structure of Abstract Algebras
Garrett Birkhoff · Mathematical Proceedings of the Cambridge Philosophical Society · 1935 · 966 citations
Natural Sciences, Mathematics, Algebra +2