Information and Computation · 1998 · 38 citations · 32 references
ComputingComputer ScienceMathematicsFormal MethodsLogicProgramming LanguagesData-flow AnalysisLogic ProgrammingPredicate LogicRecursion Theory
32
A relational model of data for large shared data banks
E. F. Codd · Communications of the ACM · 1970 · 5.2K citations · Full text
A relational model of data for large shared data banks
E. F. Codd · Communications of the ACM · 1983 · 4.8K citations
Choice Reviews Online · 1995 · 1.8K citations
Logical foundations of object-oriented and frame-based languages
Michael Kifer, Georg Lausen, James C. Wu · Journal of the ACM · 1995 · 1.5K citations · Full text
Computing, Computer Science, Logic +14