Amanote Research
Register
Sign In
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas
doi 10.7551/mitpress/4298.003.0081
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1995
Authors
Unknown
Publisher
The MIT Press
Related search
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Union-Types in Object-Oriented Schemas
On an Unsatisfiability-Satisfiability Prover
Publications of the Research Institute for Mathematical Sciences
Mathematics
Saoithín: A Theorem Prover for UTP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Object-Oriented Database Benchmarks
A Multilevel Security Model for Object-Oriented Database Systems
Correctness of Object-Oriented Database Schema
Journal of Computer Science and Cybernetics
Optimal Satisfiability Checking for Arithmetic $$\Mu $$ -Calculi
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validation of Object-Oriented Concurrent Designs by Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
