Foundations of logic programming
Foundations of logic programming
Logic for problem-solving
Communications of the ACM
Functional Development of Database Applications
IEEE Transactions on Software Engineering
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Data Models
Optimizing the Rule-Data Interface in a KMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Hi-index | 0.00 |