Computer-Aided Design · 1983 · 16 citations · 12 references
ComputingComputer ScienceCompilersLogicProgramming LanguagesDeductive ReasoningFirst-order LogicPredicate LogicProof AssistantsSyntactic Analysis
12
Computer Languages · 1979 · 1.2K citations
The design and implementation of INGRES
Michael Stonebraker, Gerald Held, Eugene Wong et al. · ACM Transactions on Database Systems · 1976 · 884 citations · Full text
Dennis M. Ritchie, K. Thompson · Bell System Technical Journal · 1978 · 323 citations
Drew McDermott · ACM SIGART Bulletin · 1980 · 33 citations · Full text