Top-down synthesis of divide-and-conquer algorithms
Artificial Intelligence
Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automated deduction by theory resolution
Journal of Automated Reasoning
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Readings in artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
Toward a mathematical theory of plan synthesis
Toward a mathematical theory of plan synthesis
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)
The logical basis for computer programming: vol. 2, deductive systems
The logical basis for computer programming: vol. 2, deductive systems
An axiom system for database transactions
Information Processing Letters
The expressive power of the bounded-iteration construct
Acta Informatica
Integrity checking for multiple updates
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Horn clauses and database dependencies
Journal of the ACM (JACM)
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
Database Design
Classical Proofs as Programs: How, What and Why
Classical Proofs as Programs: How, What and Why
Query optimization by semantic reasoning
Query optimization by semantic reasoning
The deductive synthesis of database transactions
The deductive synthesis of database transactions
Extended Query Answering Using Integrity Rules
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
From a B formal specification to an executable code: application to the relational database domain
Information and Software Technology
| Hi-index | 0.00 |