Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Spelt
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas
A Logical Foundation for Deductive Object-Oriented Databases
Saoithín: A Theorem Prover for UTP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Belief Revision Framework for Probabilistic Object-Oriented Databases
Review of Business Information Systems (RBIS)
Implementation Issues in Multilevel Security for Object-Oriented Databases
Subsumption Between Queries to Object-Oriented Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Interface Objects in Object-Oriented Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Compile-Time Model for Safe Information Flow in Object-Oriented Databases
A Framework for Method Evolution and Behavior Consistency in Object-Oriented Databases
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
