Skip to main content
eScholarship
Open Access Publications from the University of California

DATA MODELS AND DATA MANIPULATION LANGUAGES: COMPLEMENTARY SEMANTICS AND PROOF THEORY

Main Content
Current View