Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Cover Stories for Database Security
Results of the IFIP WG 11.3 Workshop on Database Security V: Status and Prospects
Hi-index | 0.00 |