How to clear a block: A theory of plans
Journal of Automated Reasoning
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
A relational model of data for large shared data banks
Communications of the ACM
Hi-index | 0.00 |